projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90d67cb) | patch
complete the yes part of lemma-checkInsert-generate using inspect
authorHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 10:45:06 +0000 (11:45 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 10:45:06 +0000 (11:45 +0100)
commit024635440449c8249cdff9d5637fcb7e02b5d293
treeac6e83c2ca80c1b41bb24154274b0d4f4dc54b6ctree | snapshot
parent90d67cb200626cdb0eb4ead36278af8119dfe661commit | diff
complete the yes part of lemma-checkInsert-generate using inspect
Bidir.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)