Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-prelude
Programming library for Agda
agda-stdlib
The Agda standard library
cubical-demo
hxt
Haskell XML Toolbox
oscar
Pivotal
scratch
agda-prelude
Programming library for Agda
m0davis's Repositories
m0davis/agda
Agda is a dependently typed programming language / interactive theorem prover.
m0davis/agda-prelude
Programming library for Agda
m0davis/agda-stdlib
The Agda standard library
m0davis/cubical-demo
m0davis/hxt
Haskell XML Toolbox
m0davis/oscar
m0davis/Pivotal
m0davis/scratch