Andrew Sneap's repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:HaskellNOASSERTION000
Language:Java000
000
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:AgdaGPL-3.0000