Mercurial > hg > Gears > GearsAgda

diff logic.agda @ 604:2075785a124a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new approach
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 03 Nov 2021 10:32:56 +0900
parents 0ddfa505d612
children 79418701a283
line wrap: on
line diff
--- a/logic.agda	Tue Nov 02 19:32:10 2021 +0900
+++ b/logic.agda	Wed Nov 03 10:32:56 2021 +0900
@@ -2,7 +2,7 @@
 
 open import Level
 open import Relation.Nullary
-open import Relation.Binary
+open import Relation.Binary hiding (_⇔_)
 open import Relation.Binary.PropositionalEquality
 
 open import Data.Empty