Mercurial > hg > Members > kono > Proof > automaton

comparison automaton-in-agda/src/logic.agda @ 406:a60132983557

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 Wed, 08 Nov 2023 21:35:54 +0900
parents c298981108c1
children
comparison
equal deleted inserted replaced
405:af8f630b7e60 406:a60132983557
56 56
57 _\/_ : Bool → Bool → Bool 57 _\/_ : Bool → Bool → Bool
58 false \/ false = false 58 false \/ false = false
59 _ \/ _ = true 59 _ \/ _ = true
60 60
61 not_ : Bool → Bool 61 not : Bool → Bool
62 not true = false 62 not true = false
63 not false = true 63 not false = true
64 64
65 _<=>_ : Bool → Bool → Bool 65 _<=>_ : Bool → Bool → Bool
66 true <=> true = true 66 true <=> true = true