| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-01-19 | first attempt to define bff (with holes) | Helmut Grohne |
| 2012-01-19 | employ standard library of agda where possible | Helmut Grohne |
| 2012-01-19 | first attempt to model lemma-1 | Helmut Grohne |
 |
index : ~helmut/bidiragda.git | |
| Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf) | Helmut Grohne |
| summaryrefslogtreecommitdiff |
path: root/Bidir.agda