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 16,546 Commits
benchmark		benchmark
doc		doc
examples		examples
macros		macros
mk		mk
notes		notes
src		src
std-lib @ 36c2528		std-lib @ 36c2528
test		test
.authorspellings		.authorspellings
.ghci		.ghci
.gitignore		.gitignore
.gitmodules		.gitmodules
.mailmap		.mailmap
.travis.yml		.travis.yml
Agda.cabal		Agda.cabal
CHANGELOG.md		CHANGELOG.md
HACKING		HACKING
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Setup.hs		Setup.hs
appveyor.yml		appveyor.yml
compiler_alteration.txt		compiler_alteration.txt
release.sh		release.sh
silly0.agda		silly0.agda
silly1.agda		silly1.agda
stack-7.10.3.yaml		stack-7.10.3.yaml
stack-8.0.2.yaml		stack-8.0.2.yaml
stack-8.2.2.yaml		stack-8.2.2.yaml
stack-8.4.3.yaml		stack-8.4.3.yaml
stack-dev-8.4.3.yaml		stack-dev-8.4.3.yaml