Mercurial > hg > Members > Moririn

comparison redBlackTreeHoare.agda @ 722:b088fa199d3d

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 Sun, 09 Apr 2023 17:15:42 +0900
parents 40d01b368e34
children edfeedb45595
comparison
equal deleted inserted replaced
721:2abfce56523a 722:b088fa199d3d
4 open import Level hiding (zero) 4 open import Level hiding (zero)
5 5
6 open import Data.Nat hiding (compare) 6 open import Data.Nat hiding (compare)
7 open import Data.Nat.Properties as NatProp 7 open import Data.Nat.Properties as NatProp
8 open import Data.Maybe 8 open import Data.Maybe
9 open import Data.Bool 9 open import Data.Bool hiding ( _<_ )
10 open import Data.Empty 10 open import Data.Empty
11 11
12 open import Relation.Binary 12 open import Relation.Binary
13 open import Relation.Binary.PropositionalEquality 13 open import Relation.Binary.PropositionalEquality
14 14