| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-01-23 | base case of lemma-2 | Helmut Grohne |
| 2012-01-23 | rewrite lemma-1 using propositional equality | Helmut Grohne |
| 2012-01-22 | actually fmap is what I meant instead of >>= | Helmut Grohne |
| 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 |