Mercurial > hg > Members > kono > Proof > galois

comparison logic.agda @ 74:69ed81f8e212

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 25 Aug 2020 14:15:49 +0900
parents 09fa2ab75703
children
comparison
equal deleted inserted replaced
73:9bd1d7cd432c 74:69ed81f8e212
1 module logic where 1 module logic where
2 2
3 open import Level 3 open import Level
4 open import Relation.Nullary 4 open import Relation.Nullary
5 open import Relation.Binary 5 open import Relation.Binary hiding (_⇔_ )
6 open import Data.Empty 6 open import Data.Empty
7 7
8 8
9 data Bool : Set where 9 data Bool : Set where
10 true : Bool 10 true : Bool