-

crypto-agda · Feb 23, 2015 · 11c5834 · 11c5834
1 parent 953ccc4
commit 11c5834
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 162 deletions.
diff --git a/ECC/ecc.agda b/ECC/ecc.agda
@@ -1,6 +1,6 @@
 --open import prelude renaming (Bool to 𝟚; true to 1₂; false to 0₂)
 open import Relation.Binary.PropositionalEquality.NP
-open import Data.Two
+open import Data.Two.Base
 open import Data.List
 open import Function
 open import Algebra.FunctionProperties.Eq

diff --git a/ZK/ChaumPedersenTODO.agda b/ZK/ChaumPedersenTODO.agda