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

0 Rilis

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