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

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