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