| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | fix deprecation warning about Any.any with agda-stdlib 1.7.1 | Helmut Grohne | 3 years | |
 |
index : ~helmut/bidiragda.git | |
| Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf) | Helmut Grohne |
| summaryrefslogtreecommitdiff |