projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 347f4ff) | patch
improve readability by introducing EqInst
authorHelmut Grohne <helmut@subdivi.de>
Sun, 22 Jan 2012 21:47:39 +0000 (22:47 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 22 Jan 2012 21:47:39 +0000 (22:47 +0100)
commit7b1b49cf6085172526b93e3b652c74ba091d7070
tree6581034881a98431aff680581b96038e752d841etree | snapshot
parent347f4ff2ed76a0fc5648faf698b054efba51e0ffcommit | diff
improve readability by introducing EqInst
Bidir.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)