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- optimisation.Nils Anders Danielsson2 months
TagDownloadAuthorAge  nightly.tar.gz  nightly.tar.bz2  Andreas Abel2 months  agda-  agda-  Andreas Abel5 months  agda-  agda-  Andreas Abel6 months  agda-2.6.2.tar.gz  agda-2.6.2.tar.bz2  Andrés Sicard-Ramírez11 months  agda-  agda-  Andrés Sicard-Ramírez11 months  agda-  agda-  Andrés Sicard-Ramírez12 months  agda-  agda-  Andrés Sicard-Ramírez15 months  agda-  agda-  Andreas Abel16 months  agda-  agda-  Ulf Norell20 months  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