Showing entries 1-11 out of 11.
Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
New Categories library
Programming library for Agda
Standard library for compiling Agda code to readable Haskell
Total Parser Combinators in Agda
Cubical type theory library for use with the Agda compiler
Nonstandard library for Cubical Agda
Formalizing linear algebra in Agda by representing matrices as functions from one vector space to …
Library for datatype-generic programming in Agda
Agda standard library developed at Iowa
Standard library for use with the Agda compiler