zkdream.net
/
algebraic-graphs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
algebraic-graphs/Graph.agda

4 lines
50 B
Plaintext
Raw Permalink Blame History

module Graph where
open import Graph.Base public
Reference in New Issue View Git Blame Copy Permalink