My dev branches of agda (i.e. mostly a mirror)

caryoscelus 4a213434e2 [ doc ] reflection: add declaration unquote example		vor 6 Jahren
benchmark	d573394115 [ test ] update benchmarks for new std-lib commit	vor 6 Jahren
doc	4a213434e2 [ doc ] reflection: add declaration unquote example	vor 6 Jahren
examples	e205a43e87 Fixed #1209.	vor 6 Jahren
macros	06a20b7169 [ cleaning ] Removed .cvsignore files.	vor 10 Jahren
mk	f151b617ef [ build ] use proper path to agda mode	vor 6 Jahren
notes	afa864349f [ user manual ] Added link the the LICENSE file.	vor 6 Jahren
src	2c077f2c1e [ refactor ] remove Ranged wrapper from Inductive in records	vor 6 Jahren
std-lib @ 6ed677928b	98d6f195fe [ fix ] using Common.IO rather than postulates (#3472)	vor 6 Jahren
test	73cc22d519 [ test suite ] remove orphaned .err files from test/Fail	vor 6 Jahren
.authorspellings	6f3d3d31ec Added some .authorspellings.	vor 10 Jahren
.ghci	c27af0d578 [ closed #3223 ] Using `cpp` instead of `cpphs` as the default preprocessor.	vor 6 Jahren
.gitignore	a2a115a6b0 [ git ] ignore .emacs* files	vor 6 Jahren
.gitmodules	cea37b1c4d Fastforwarded standard library for Andreas	vor 6 Jahren
.mailmap	eaeac82e05 [ .mailmap ] Weird hostnames @Chalmers	vor 8 Jahren
.travis.yml	1119fb0dec [ closed #3442 ] Supported GHC 8.6.3.	vor 6 Jahren
Agda.cabal	a78443792c Merge branch 'issue3318'	vor 6 Jahren
CHANGELOG.md	0366a7956c [ fixed #3444 ] Fixed `Setup.hs` when using Cabal >= 2.0.0.0.	vor 6 Jahren
HACKING.md	ac38171335 [ HACKING ] Added entry related to clossing issues.	vor 6 Jahren
LICENSE	8c8103f06e [ doc ] Update contributor lists	vor 6 Jahren
Makefile	fcca91c484 Fixed #3154.	vor 6 Jahren
README.md	6cfe57d226 Fix broken link	vor 6 Jahren
Setup.hs	0366a7956c [ fixed #3444 ] Fixed `Setup.hs` when using Cabal >= 2.0.0.0.	vor 6 Jahren
appveyor.yml	c27af0d578 [ closed #3223 ] Using `cpp` instead of `cpphs` as the default preprocessor.	vor 6 Jahren
release.sh	94df120028 Release script.	vor 10 Jahren
stack-7.10.3.yaml	db33dbd967 [ closed #3277 ] Bumped lower bound version of text library.	vor 6 Jahren
stack-8.0.2.yaml	db33dbd967 [ closed #3277 ] Bumped lower bound version of text library.	vor 6 Jahren
stack-8.2.2.yaml	db33dbd967 [ closed #3277 ] Bumped lower bound version of text library.	vor 6 Jahren
stack-8.4.4.yaml	682d0c3feb [ stackage ] Updated resolver (lts-12.15 -> lts-12.16).	vor 6 Jahren
stack-8.6.3.yaml	1119fb0dec [ closed #3442 ] Supported GHC 8.6.3.	vor 6 Jahren
stack-dev-8.4.3.yaml	37c7b764d6 [ Stack ] Add size-solver as a package in stack.yaml	vor 6 Jahren