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

Aliases #15

Closed olynch closed 1 year ago

olynch commented 1 year ago

Just like Catlab has @op, a theory should support multiple names for term constructors/type constructors.

kris-brown commented 1 year ago

Addrsesed by https://github.com/AlgebraicJulia/Gatlab.jl/pull/81