~helmut/bidiragda.git - Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)

Age	Commit message (Expand)	Author
2012-01-26	prove the remaining parts of lemma-checkInsert-generate	Helmut Grohne
2012-01-26	complete the yes part of lemma-checkInsert-generate using inspect	Helmut Grohne
2012-01-26	change lemma-insert-same to work with \== proofs	Helmut Grohne
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