search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
24 stars 2 forks source link

Move code that requires MTK into AlgebraicDynamics #47

Closed olynch closed 1 year ago

olynch commented 1 year ago

The algebraic lenses and the MTK integration should not be in core Gatlab. Right now they aren't, but they will briefly be for the upcoming demo. This issue is so that we don't forget to refactor them out of Gatlab once they are in.