Skip to content
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Agda TeX PostScript HTML Emacs Lisp Other
Branch: master
Clone or download
Pull request Compare This branch is 1936 commits behind agda:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
benchmark
doc
examples
macros
mk
notes
src
std-lib @ a1a10b3
test
.authorspellings
.ghci
.gitignore
.gitmodules
.mailmap
.travis.yml
Agda.cabal
CHANGELOG.md
HACKING
LICENSE
Makefile
README.md
Setup.hs
appveyor.yml
release.sh
stack-7.10.3.yaml
stack-8.0.2.yaml
stack-8.2.2.yaml
stack-8.4.3.yaml

README.md

You can’t perform that action at this time.