agdaPackages Package Set
packages - 12
1lab
Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
agdaPackages._1labagda-categories
New Categories library
agdaPackages.agda-categoriesagda-prelude
Programming library for Agda
agdaPackages.agda-preludeagda2hs-base
Standard library for compiling Agda code to readable Haskell
agdaPackages.agda2hs-baseagdarsec
Total Parser Combinators in Agda
agdaPackages.agdarseccubical
Cubical type theory library for use with the Agda compiler
agdaPackages.cubicalcubical-mini
Nonstandard library for Cubical Agda
agdaPackages.cubical-minifunctional-linear-algebra
Formalizing linear algebra in Agda by representing matrices as functions from one vector space to another.
agdaPackages.functional-linear-algebragenerics
Library for datatype-generic programming in Agda
agdaPackages.genericsiowa-stdlib
Agda standard library developed at Iowa
agdaPackages.iowa-stdlibstandard-library
Standard library for use with the Agda compiler
agdaPackages.standard-libraryagdaWithPackages
A dependently typed functional programming language and proof assistant
agdaPackages.agda