drmt

↗ HN profile [ 721 ms ] full profile

Karma: 2
Created: August 30, 2022 (4y ago)
Submissions: 0

Are you thinking about something like AlgebraicJulia, specifically Catlab.jl? It allows to specify Generalized Algebraic Theories and comes with a large list of standard theories.…

4y ago · view thread · ↗