improve readability using _∋_≈_ instead of Setoid._≈_
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 28 Jan 2014 09:53:45 +0000 (10:53 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 28 Jan 2014 09:53:45 +0000 (10:53 +0100)
commitb0eb7ada208d33eb82ec27cb7d40b9fa59646c92
tree00da19e818e122a279c46818f025156903c8a8ac
parent2a4ee38b0506121d52e259ae88a7b470cdac2206
improve readability using _∋_≈_ instead of Setoid._≈_
Bidir.agda
Generic.agda