Mercurial > hg > Members > Moririn

diff hoareRedBlackTree.agda @ 588:8627d35d4bff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add data bt', and some function
author ryokka
date Thu, 05 Dec 2019 20:38:54 +0900
parents 0ddfa505d612
children 37f5826ca7d2
line wrap: on
line diff
--- a/hoareRedBlackTree.agda	Thu Dec 05 18:11:22 2019 +0900
+++ b/hoareRedBlackTree.agda	Thu Dec 05 20:38:54 2019 +0900
@@ -7,7 +7,7 @@
 open import Data.Nat hiding (compare)
 open import Data.Nat.Properties as NatProp
 open import Data.Maybe
-open import Data.Maybe.Properties
+-- open import Data.Maybe.Properties
 open import Data.Empty
 open import Data.List
 open import Data.Product