summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
bisect-v2[ agda-bisect ] WIP: Support v2-cabal via v2-build, v2-run and v2-execAndreas Abel2 months
ci-debug-printDebug #5805: Some improvements to debug printingAndreas Abel2 months
ci-style-applyWhenComments, style: use `applyWhen` and `or` (for long disjunctions)Andreas Abel2 months
erase-record-parameters[ re #5770 ] Add --erase-record-parameters to three Builtin modules that use ...Jesper Cockx3 months
gh-pagesdeploy: 8b7c6d886b835f5dfcf1e5052dd83ebabac73592nad2 months
issue5722[ #5722 ] experimental: add memoization of size lambdas at sizeInfUlf Norell4 months
issue5809Fix #5809: retain parameters for irrelevant projections.Andreas Abel2 months
issue5823Re #5823: allow repetition of non-recursive record types when checking singletonAndreas Abel2 months
masterAn optimisation.Nils Anders Danielsson2 months
release-2.6.2.2An optimisation.Nils Anders Danielsson2 months
[...]
 
TagDownloadAuthorAge
nightlynightly.zip  nightly.tar.gz  nightly.tar.bz2  Andreas Abel2 months
v2.6.2.1agda-2.6.2.1.zip  agda-2.6.2.1.tar.gz  agda-2.6.2.1.tar.bz2  Andreas Abel5 months
v2.6.2.0.20211129agda-2.6.2.0.20211129.zip  agda-2.6.2.0.20211129.tar.gz  agda-2.6.2.0.20211129.tar.bz2  Andreas Abel6 months
v2.6.2agda-2.6.2.zip  agda-2.6.2.tar.gz  agda-2.6.2.tar.bz2  Andrés Sicard-Ramírez11 months
v2.6.1.3.20210605agda-2.6.1.3.20210605.zip  agda-2.6.1.3.20210605.tar.gz  agda-2.6.1.3.20210605.tar.bz2  Andrés Sicard-Ramírez11 months
v2.6.1.3.20210524agda-2.6.1.3.20210524.zip  agda-2.6.1.3.20210524.tar.gz  agda-2.6.1.3.20210524.tar.bz2  Andrés Sicard-Ramírez12 months
v2.6.1.3agda-2.6.1.3.zip  agda-2.6.1.3.tar.gz  agda-2.6.1.3.tar.bz2  Andrés Sicard-Ramírez15 months
v2.6.1.2agda-2.6.1.2.zip  agda-2.6.1.2.tar.gz  agda-2.6.1.2.tar.bz2  Andreas Abel16 months
v2.6.1.1agda-2.6.1.1.zip  agda-2.6.1.1.tar.gz  agda-2.6.1.1.tar.bz2  Ulf Norell20 months
v2.6.1agda-2.6.1.zip  agda-2.6.1.tar.gz  agda-2.6.1.tar.bz2  Andrés Sicard-Ramírez2 years
[...]
 
AgeCommit messageAuthor
2022-03-14An optimisation.HEADrefs/pull/5830/headmasterNils Anders Danielsson
2022-03-12Re #5822: only silence stack when running ghc through itnightlyAndreas Abel
2022-03-12[ #5801 ] Added some text to the documentation.Nils Anders Danielsson
2022-03-11CI deploy/mac: bump ICU version to 70Andreas Abel
2022-03-10Bump CI to GHC 9.2.2 and ubuntu-20.04Andreas Abel
2022-03-10Testcase for #5819: termination error, but not internal errorAndreas Abel
2022-03-10Fix #5819: Revert "[ perf ] Avoid normalisation in termToDBP function"Andreas Abel
2022-03-09Re #5789: move test case to test/Succeed folderAndreas Abel
2022-03-07Comments, style: use `applyWhen` and `or` (for long disjunctions)ci-style-applyWhenAndreas Abel
2022-03-07Debug #5805: Some improvements to debug printingAndreas Abel
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/agda.git
git://github.com/agda/agda
https://github.com/agda/agda