Untitled Git - ~helmut/bidiragda.git/search

projects / ~helmut / bidiragda.git / search

2012-01-26	Helmut Grohne	reduce usage of sym	commit \| commitdiff \| tree
2012-01-26	Helmut Grohne	open \==-Reasoning at top level	commit \| commitdiff \| tree
2012-01-26	Helmut Grohne	prove the remaining parts of lemma-checkInsert-generate	commit \| commitdiff \| tree
2012-01-26	Helmut Grohne	complete the yes part of lemma-checkInsert-generate...	commit \| commitdiff \| tree
2012-01-26	Helmut Grohne	change lemma-insert-same to work with \== proofs	commit \| commitdiff \| tree
2012-01-23	Helmut Grohne	base case of lemma-2	commit \| commitdiff \| tree
2012-01-23	Helmut Grohne	rewrite lemma-1 using propositional equality	commit \| commitdiff \| tree
2012-01-22	Helmut Grohne	actually fmap is what I meant instead of >>=	commit \| commitdiff \| tree
2012-01-22	Helmut Grohne	introduce >>= on Maybe to improve readability	commit \| commitdiff \| tree
2012-01-22	Helmut Grohne	improve readability by introducing EqInst	commit \| commitdiff \| tree
2012-01-22	Helmut Grohne	formulate theorem-1	commit \| commitdiff \| tree
2012-01-22	Helmut Grohne	formulate lemma-2	commit \| commitdiff \| tree
2012-01-22	Helmut Grohne	attempt to prove lemma-1	commit \| commitdiff \| tree
2012-01-21	Helmut Grohne	rewrite generate using zip and fromAscList	commit \| commitdiff \| tree
2012-01-21	Helmut Grohne	split FinMap to FinMapMaybe	commit \| commitdiff \| tree
2012-01-19	Helmut Grohne	replaced NatMap with FinMap	commit \| commitdiff \| tree
2012-01-19	Helmut Grohne	first attempt to define bff (with holes)	commit \| commitdiff \| tree
2012-01-19	Helmut Grohne	employ standard library of agda where possible	commit \| commitdiff \| tree
2012-01-19	Helmut Grohne	first attempt to model lemma-1	commit \| commitdiff \| tree
2012-01-19	Helmut Grohne	added .gitignore	commit \| commitdiff \| tree

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

RSS Atom