https://github.com/agda/agda
History
Tip revision: 4ea8f42f3c9f517750127a03f5c4cacb89c63997 authored by Andrés Sicard-Ramírez on 22 December 2016, 12:46:48 UTC
Revert "[ 2.5.2 release, #2337 ] Added source-repository `this`."
Tip revision: 4ea8f42
File Mode Size
benchmark
doc
examples
macros
mk
notes
src
std-lib @ 7220ca3
test
.authorspellings -rw-r--r-- 2.2 KB
.ghci -rw-r--r-- 946 bytes
.gitignore -rw-r--r-- 690 bytes
.gitmodules -rw-r--r-- 98 bytes
.mailmap -rw-r--r-- 3.9 KB
.travis.yml -rw-r--r-- 14.3 KB
Agda.cabal -rw-r--r-- 34.1 KB
CHANGELOG.md -rw-r--r-- 243.7 KB
HACKING -rw-r--r-- 14.0 KB
LICENSE -rw-r--r-- 4.8 KB
Makefile -rw-r--r-- 14.3 KB
README.md -rw-r--r-- 6.1 KB
Setup.hs -rw-r--r-- 1.7 KB
default.nix -rw-r--r-- 3.1 KB
release.sh -rwxr-xr-x 5.6 KB
stack-7.8.4.yaml -rw-r--r-- 478 bytes
stack-8.0.1.yaml -rw-r--r-- 99 bytes

README.md

back to top