Owen Lynch
Owen Lynch
We should have full enterprise support for provenance and metadata in every single `Scope`.
In Catlab, docstrings on the generators in a theory are saved to the theory structure. We should support this in Gatlab too.
We should have a macro that makes writing symbolic functions as easy as writing normal functions. Something like ```julia @symbolic(ThRing) function foo(a, b) a^2 + b^2 end ``` should produce...
Just like ACSets, making a context struct has two steps. The first step is declaring the context (analogous to declaring the schema). We might also have an analogous naming convention...
A morphism between context A and context B should be an e-graph generated by the variables in context A, along with a choice of e-class for each variable in context...
When we migrate a model contravariantly along a theory map, we may need to create new types for the type constructors in the domain theory. This issue is thinking about...
Gatlab has been built from the ground up so that everything can be in theory serialized. We should actually unlock this potential, by writing serialization to and from JSON for...
We should have a function which extracts the ODE from a Petri net as a lens.
An alternative to writing down syntax trees with macros is to either: - Use `@code_lowered` to expand a julia function, and then parse into Trm/e-graph from that - Pass in...
It would be good to have a flexible pretty-printer for terms which handled printing to a variety of screen widths, and supported condensed vs. expanded output. We should implement a...