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
tree6581034881a98431aff680581b96038e752d841e
parent347f4ff2ed76a0fc5648faf698b054efba51e0ff
improve readability by introducing EqInst
Bidir.agda