projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e3b044) | patch
rewrite lemma-1 using propositional equality
authorHelmut Grohne <helmut@subdivi.de>
Mon, 23 Jan 2012 10:50:28 +0000 (11:50 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 23 Jan 2012 10:50:28 +0000 (11:50 +0100)
commit4fa6ecf53dd170e4079edb582c68a55448047c6a
tree4636cd20987a3f293b8484230cee59a97e45d38ftree | snapshot
parent6e3b0445d0c7a412f1dde5d9abf9e97b26e1cfe8commit | diff
rewrite lemma-1 using propositional equality
Bidir.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)