search

AlgebraicJulia / GATlab.jl

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

Meta module inside symbolic model module #120

Closed olynch closed 9 months ago

olynch commented 9 months ago

Just like how the module created by @theory now has a Meta submodule, so does the module created by @symbolic_module.