diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-04-24 18:59:33 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-04-24 18:59:33 -0400 |
| commit | 26fe1ec59740112c590428bafc49b255249a01cd (patch) | |
| tree | dca40f33d81f7be92f3bbfdd65577ba0216541b6 /B.agda | |
| parent | e9fbc822bd34a5f9c698f1bc018fb95db8f7123a (diff) | |
Add basic list support
Diffstat (limited to 'B.agda')
| -rw-r--r-- | B.agda | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |