2012-01-21 | Helmut Grohne | split FinMap to FinMapMaybe | commit | commitdiff | tree | snapshot |
2012-01-19 | Helmut Grohne | replaced NatMap with FinMap | commit | commitdiff | tree | snapshot |
2012-01-19 | Helmut Grohne | first attempt to define bff (with holes) | commit | commitdiff | tree | snapshot |
2012-01-19 | Helmut Grohne | employ standard library of agda where possible | commit | commitdiff | tree | snapshot |
2012-01-19 | Helmut Grohne | first attempt to model lemma-1 | commit | commitdiff | tree | snapshot |
2012-01-19 | Helmut Grohne | added .gitignore | commit | commitdiff | tree | snapshot |