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  agda-  agda-  Andrés Sicard-Ramírez5 weeks  agda-  agda-  Andrés Sicard-Ramírez8 months  agda-2.6.0.tar.gz  agda-2.6.0.tar.bz2  Andrés Sicard-Ramírez9 months  agda-  agda-  Andrés Sicard-Ramírez10 months  agda-  agda-  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-  Andrés Sicard-Ramírez15 months  agda-  agda-  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