postulate free theorem for List a -> List a
authorHelmut Grohne <helmut@subdivi.de>
Tue, 31 Jan 2012 17:26:32 +0000 (18:26 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 31 Jan 2012 17:26:32 +0000 (18:26 +0100)
commitc62e107155b8fea28dbf1637f9187e4f24f75173
tree3a3fdeb56fed604aca4b12a305cf21b5889173a1
parent3b01996ba5cc0037f1375d6784c33b3bbd2b7589
postulate free theorem for List a -> List a
Bidir.agda