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

General Models #42

Closed olynch closed 1 year ago

olynch commented 1 year ago

We have simple models now, based on zero-field structs. We should also have general models, which can be parameterized by more general structs.

The implementation of these general models should also be via passing a module into a macro.

This should also address #30