summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
2ltt[ 2ltt ] Add missing SSet case for internal test suiteJesper Cockx3 months
clean-cacheUpdate .travis.ymlLiang-Ting Chen6 days
inspect[ fix #4088 ] test caseGuillaume Allais3 months
issue4067[ fixes #4067 ] test caseUlf Norell5 days
issue4159[ #4159 ] solveSizeConstraints: attempt to solve CmpEq firstAndreas Abel3 weeks
issue4189[ #4189 ] bring back qualified record constructorsAndreas Abel3 weeks
issue4205[ #4205 ] cosmetics: Reorder statements.Andreas Abel7 days
json[ git ] Merge branch 'master' into jsonTing-Gian LUA3 months
master[ fixed #4267 ] record expressions need the record type "in scope"Andreas Abel12 hours
reflection-literals[ quoted term literals ] fix bug in serialisationUlf Norell3 months
[...]
 
TagDownloadAuthorAge
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írez7 months
v2.6.0agda-2.6.0.zip  agda-2.6.0.tar.gz  agda-2.6.0.tar.bz2  Andrés Sicard-Ramírez8 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írez8 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írez9 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írez10 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írez11 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írez13 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írez13 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írez13 months
v2.5.4.1agda-2.5.4.1.zip  agda-2.5.4.1.tar.gz  agda-2.5.4.1.tar.bz2  Andrés Sicard-Ramírez17 months
[...]
 
AgeCommit messageAuthor
12 hours[ fixed #4267 ] record expressions need the record type "in scope"HEADmasterAndreas Abel
23 hours[ refactor ] Switch some uses of unsafeInTopContext to inTopContextJesper Cockx
30 hours[ refactor ] Rename safeInTopContext -> inTopContextJesper Cockx
30 hours[ refactor ] Prefix unsafe context manipulations with 'unsafe'Jesper Cockx
30 hours[ refactor ] Add utility function modifyContextInfoJesper Cockx
30 hours[ fix #4158 ] Use safeInTopContext + also mask module checkpoints in safeInTo...Jesper Cockx
30 hours[ refactor ] Replace three functions on ReduceM with polymorphic onesJesper Cockx
30 hours[ refactor ] Use monadic debugging in TC.Monad.SignatureJesper Cockx
35 hours[ fix #4038 ] Don't block matching of meta against lambda patternJesper Cockx
35 hours[ fix #4032 ] Raise bound variable when eta-expanding during matchingJesper Cockx
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/agda.git
git://github.com/agda/agda
https://github.com/agda/agda