projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6958d1c) | patch
theorem-2 works with EqR rather than SetoidReasoning again
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 24 Feb 2014 13:58:01 +0000 (14:58 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 24 Feb 2014 13:58:01 +0000 (14:58 +0100)
commit54c29d2ce4d4e8a33d77bc787b2c5132f2089835
tree2720ad09a13963676ff6857c433b5768c97c1418tree | snapshot
parent6958d1c19cda39564508e0638648eacf32c71509commit | diff
theorem-2 works with EqR rather than SetoidReasoning again
Bidir.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)