projects / ~helmut / bidiragda.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
split FinMap to FinMapMaybe
2012-01-21 Helmut Grohnesplit FinMap to FinMapMaybe
 commit | commitdiff | tree
2012-01-19 Helmut Grohnereplaced NatMap with FinMap
 commit | commitdiff | tree
2012-01-19 Helmut Grohnefirst attempt to define bff (with holes)
 commit | commitdiff | tree
2012-01-19 Helmut Grohneemploy standard library of agda where possible
 commit | commitdiff | tree
2012-01-19 Helmut Grohnefirst attempt to model lemma-1
 commit | commitdiff | tree
2012-01-19 Helmut Grohneadded .gitignore
 commit | commitdiff | tree
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)