Agda 2

Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.

Documentation

Name		Name	Last commit message	Last commit date
Latest commit History 21,103 Commits
.github		.github
.travis		.travis
.vscode		.vscode
benchmark		benchmark
cubical @ 2b389a0		cubical @ 2b389a0
doc		doc
examples		examples
macros		macros
mk		mk
notes		notes
src		src
std-lib @ b85c5d1		std-lib @ b85c5d1
test		test
.authorspellings		.authorspellings
.ghci		.ghci
.ghci-8.0		.ghci-8.0
.ghci-8.10		.ghci-8.10
.ghci-8.2		.ghci-8.2
.ghci-8.6		.ghci-8.6
.ghci-8.8		.ghci-8.8
.ghci-9.0		.ghci-9.0
.ghci-9.0.2		.ghci-9.0.2
.ghci-9.2.2		.ghci-9.2.2
.gitignore		.gitignore
.gitmodules		.gitmodules
.hlint.yaml		.hlint.yaml
.mailmap		.mailmap
.travis.yml		.travis.yml
Agda.cabal		Agda.cabal
CHANGELOG.md		CHANGELOG.md
HACKING.md		HACKING.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Setup.hs		Setup.hs
cabal.project.local.mtl23		cabal.project.local.mtl23
cabal.project.tc		cabal.project.tc
fix-whitespace.yaml		fix-whitespace.yaml
flake.lock		flake.lock
flake.nix		flake.nix
hie.yaml		hie.yaml
release.sh		release.sh
stack-8.0.2.yaml		stack-8.0.2.yaml
stack-8.10.7.yaml		stack-8.10.7.yaml
stack-8.2.2.yaml		stack-8.2.2.yaml
stack-8.4.4.yaml		stack-8.4.4.yaml
stack-8.6.5.yaml		stack-8.6.5.yaml
stack-8.8.4.yaml		stack-8.8.4.yaml
stack-9.0.1.yaml		stack-9.0.1.yaml
stack-9.0.2.yaml		stack-9.0.2.yaml
stack-9.2.1.yaml		stack-9.2.1.yaml
stack-9.2.2.yaml		stack-9.2.2.yaml
touchup.sh		touchup.sh