issues
search
AlgebraicJulia
/
GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
23
stars
2
forks
source link
Mini-refactor of Scopes
#84
Closed
olynch
closed
11 months ago
olynch
commented
11 months ago
Made the Scopes API consistent
Made the Scopes API consistent