| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-01-22 | introduce >>= on Maybe to improve readability | Helmut Grohne |
| 2012-01-22 | improve readability by introducing EqInst | Helmut Grohne |
| 2012-01-22 | formulate theorem-1 | Helmut Grohne |
| 2012-01-22 | formulate lemma-2 | Helmut Grohne |
| 2012-01-22 | attempt to prove lemma-1 | Helmut Grohne |
| 2012-01-21 | rewrite generate using zip and fromAscList | Helmut Grohne |
| 2012-01-21 | split FinMap to FinMapMaybe | Helmut Grohne |
| 2012-01-19 | replaced NatMap with FinMap | Helmut Grohne |
| 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 |
| 2012-01-19 | added .gitignore | Helmut Grohne |
 |
index : ~helmut/bidiragda.git | |
| Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf) | Helmut Grohne |
| summaryrefslogtreecommitdiff |