Owen Lynch
Owen Lynch
There are a couple things to do before we can fully support wiring diagrams. - #4 - We need "external ports" that are restricted to the edge of the diagram...
Logically, a `StructArray{Tuple{}}` should just be a integer. However, not only does it not compile down to an integer, but it also doesn't even work: ```julia > length(StructArray([(),(),()])) == 0...
It seems like the modelingtoolkit extension mostly overloads ODEProblem, which we can overload without depending on modelingtoolkit. We might want to see what parts of the modelingtoolkit extension can be...
This PR is for the draft of symbolic, compositional resource sharers, and also includes a new namespacing mechanism via Tries.
One of the motivating features behind the Gatlab redesign was to be able to do pushouts of theory morphisms. This is easy in the case of "strict" theory morphisms, where...
We should have a blog post explaining some basic use of GATlab.
I've realized that there's more than one way to do multiple inheritance, and each one makes sense in different context. One way is the way we've been planning to do,...
A much wanted feature in Julia is "dispatch on return type". In GATlab we potentially have the infrastructure to include either inferred or explicitly declared return types in the dispatch...
We should implement the whole hierarchy of "single-sorted" algebraic theories, using multiple inheritance, and also build in support for constants.