projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0f83c9) | patch
prove lemma-union-generate
authorHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 14:08:36 +0000 (15:08 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 14:08:36 +0000 (15:08 +0100)
commitaf1cc6bc8685515ffbf269e420449219a105301c
treedc54387a8776c06bbcf10e7670653586cc5649a0tree | snapshot
parente0f83c9ca1816a4c0b3c030bb2cd562156311ecdcommit | diff
prove lemma-union-generate
Bidir.agda diff | blob | history
FinMap.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)