From 26fe1ec59740112c590428bafc49b255249a01cd Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Fri, 24 Apr 2015 18:59:33 -0400 Subject: Add basic list support --- B.agda | 1 + 1 file changed, 1 insertion(+) (limited to 'B.agda') 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 -- cgit v1.2.3