Export all integer modules.

pcapriotti · May 18, 2014 · 107b45e · 107b45e
1 parent c311976
commit 107b45e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/sets.agda b/sets.agda
@@ -5,6 +5,7 @@ import sets.bool
 import sets.empty
 import sets.fin
 import sets.nat
+import sets.int
 import sets.unit
 import sets.vec
 import sets.list

diff --git a/sets/int.agda b/sets/int.agda
@@ -2,4 +2,7 @@
 
 module sets.int where
 
+open import sets.int.definition public
+open import sets.int.utils public
 open import sets.int.core public
+open import sets.int.properties public