diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.lem | 1 | ||||
| -rw-r--r-- | language/l2.ott | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/language/l2.lem b/language/l2.lem index 8e56f69e..f3840866 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -3,7 +3,6 @@ open import Pervasives open import Map open import Maybe -open import Pervasives type l = | Unknown diff --git a/language/l2.ott b/language/l2.ott index b3a3f8b8..a8da9ab6 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -53,7 +53,6 @@ embed {{ lem open import Map open import Maybe -open import Pervasives type l = | Unknown |