Lean implementation of Algebraic Graphs with Class1, there is a Haskell implementation2.
dannypsnl / algebraicgraph Goto Github PK
View Code? Open in Web Editor NEWLean implementation of Algebraic Graphs with Class
Home Page: https://dl.acm.org/doi/pdf/10.1145/3122955.3122956