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