ENH: wip, convert from Decapodes to DecaExpr

[jpfairbanks]

No description provided.

[codecov]

Codecov Report

Attention: 4 lines in your changes are missing coverage. Please review.

Comparison is base (5db4865) 74.51% compared to head (c3d9fc5) 75.14%.
Report is 4 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #156      +/-   ##
==========================================
+ Coverage   74.51%   75.14%   +0.63%     
==========================================
  Files           9       11       +2     
  Lines        1126     1167      +41     
==========================================
+ Hits          839      877      +38     
- Misses        287      290       +3     

Files	Coverage Δ
src/Decapodes.jl	100.00% <ø> (ø)
src/colanguage.jl	100.00% <100.00%> (ø)
src/language.jl	89.13% <87.50%> (-0.74%)	⬇️
src/pretty.jl	90.62% <90.62%> (ø)

... and 1 file with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[lukem12345]

What's the status on this? Is there code to solve this that will live in syntactic models?

[lukem12345]

It would be nice to have a feature extension on top of the conversion to a DecaExpr further towards something that looks like the LaTeX-like body we started with.

[lukem12345]

This branch has just been rebased to incorporate the changes from Owens intertypes branch in PR #163 .

[lukem12345]

Tests should fail due to the afore-mentioned dependency on development branch of ACSets.

Owen's intertype branch should be merged before this.

[lukem12345]

Note that composed operators are now expanded in Decapode deconstruction.

[jpfairbanks]

@lukem12345 can you approve and merge this? Since I made the PR, I can't approve it.

[lukem12345]

I don't see a compat for ACSets, but CompatHelper can catch this if it's not already in main.