summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
issue3855[ #3855 ] address review commentsUlf Norell42 hours
issue4067[ fixes #4067 ] test caseUlf Norell7 weeks
issue4137[ fix #4137 ] correct modality in antiUnifyUlf Norell2 weeks
issue4159[ #4159 ] solveSizeConstraints: attempt to solve CmpEq firstAndreas Abel2 months
issue4189[ #4189 ] bring back qualified record constructorsAndreas Abel2 months
issue4205[ #4205 ] cosmetics: Reorder statements.Andreas Abel8 weeks
issue4359Keep size-solver after running testsLiang-Ting Chen13 days
masterReplace `.` with explanation in wordsPaolo G. Giarrusso15 hours
refactor-subpackagesMove `Agda.Main` to `src/main`Liang-Ting Chen2 weeks
release-2.6.1Merge remote-tracking branch 'origin/master' into release-2.6.1Andrés Sicard-Ramírez8 days
[...]
 
TagDownloadAuthorAge
v2.6.0.1.20191219agda-2.6.0.1.20191219.zip  agda-2.6.0.1.20191219.tar.gz  agda-2.6.0.1.20191219.tar.bz2  Andrés Sicard-Ramírez5 weeks
v2.6.0.1agda-2.6.0.1.zip  agda-2.6.0.1.tar.gz  agda-2.6.0.1.tar.bz2  Andrés Sicard-Ramírez8 months
v2.6.0agda-2.6.0.zip  agda-2.6.0.tar.gz  agda-2.6.0.tar.bz2  Andrés Sicard-Ramírez9 months
v2.5.4.2.20190330agda-2.5.4.2.20190330.zip  agda-2.5.4.2.20190330.tar.gz  agda-2.5.4.2.20190330.tar.bz2  Andrés Sicard-Ramírez10 months
v2.5.4.2.20190310agda-2.5.4.2.20190310.zip  agda-2.5.4.2.20190310.tar.gz  agda-2.5.4.2.20190310.tar.bz2  Andrés Sicard-Ramírez11 months
v2.5.4.2.20190217agda-2.5.4.2.20190217.zip  agda-2.5.4.2.20190217.tar.gz  agda-2.5.4.2.20190217.tar.bz2  Andrés Sicard-Ramírez11 months
v2.5.4.2.20190111agda-2.5.4.2.20190111.zip  agda-2.5.4.2.20190111.tar.gz  agda-2.5.4.2.20190111.tar.bz2  Andrés Sicard-Ramírez12 months
v2.5.4.2agda-2.5.4.2.zip  agda-2.5.4.2.tar.gz  agda-2.5.4.2.tar.bz2  Andrés Sicard-Ramírez15 months
v2.5.4.1.20181027agda-2.5.4.1.20181027.zip  agda-2.5.4.1.20181027.tar.gz  agda-2.5.4.1.20181027.tar.bz2  Andrés Sicard-Ramírez15 months
v2.5.4.1.20181026agda-2.5.4.1.20181026.zip  agda-2.5.4.1.20181026.tar.gz  agda-2.5.4.1.20181026.tar.bz2  Andrés Sicard-Ramírez15 months
[...]
 
AgeCommit messageAuthor
15 hoursReplace `.` with explanation in wordsHEADmasterPaolo G. Giarrusso
15 hours[ doc ] records & pattern-lambdaGuillaume Allais
16 hours[ re #4388 ] Remove some redundant usages of unsafeInTopContextJesper Cockx
16 hours[ re #4388 ] Replace some uses of unsafeEscapeContext with escapeContextJesper Cockx
16 hours[ re #4388 ] Add safe(r) variant escapeContext of unsafeEscapeContextJesper Cockx
16 hours[ re #4388 ] Forget let bindings when working inTopContextJesper Cockx
16 hours[ re #4388 ] Replace some uses of unsafeInTopContext by inTopContextJesper Cockx
20 hours[ fix #3027 ] block bound variable on right side of constraint (#4392)Víctor López Juan
39 hours[ flat ] made compareDom check the cohesion.Andrea Vezzosi
43 hours[ re #4384 ] Replace internal error with proper error messageJesper Cockx
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/agda.git
git://github.com/agda/agda
https://github.com/agda/agda