projects / ~helmut / bidiragda.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
move lemma-just!=nothing to FinMap and use it there
[~helmut/bidiragda.git] / FinMap.agda
2012-04-19 Helmut Grohnemove lemma-just!=nothing to FinMap and use it there blob | commitdiff
2012-02-09 Helmut Grohneavoid a sym in lemma-union-restrict blob | commitdiff | diff to current
2012-02-09 Helmut Grohnes/generate/restrict/g blob | commitdiff | diff to current
2012-02-09 Helmut Grohneprove lemma-union-generate blob | commitdiff | diff to current
2012-01-26 Helmut Grohnesplit Bidir.agda to FinMap.agda blob | commitdiff | diff to current
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)