1 files changed, 1 insertions, 0 deletions
diff --git a/B.agda b/B.agda
index b4d7336..5c73dd4 100644
--- a/B.agda
+++ b/B.agda
@@ -16,6 +16,7 @@ module B where
 open import B.Prelude.Bool public
 open import B.Prelude.BooleanAlgebra public
 open import B.Prelude.Char public
+open import B.Prelude.List public
 open import B.Prelude.Maybe public
 open import B.Prelude.Product public
 open import B.Prelude.String public