diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-05 17:35:32 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-05 17:35:32 +0000 |
| commit | 71349c1c5bcca733c525ae9283875be44e9f3b35 (patch) | |
| tree | ee2ad19863304724b1168e7850202877d63f0183 | |
| parent | f4a28c94aabfdef6011294db3d36860dcb5badb3 (diff) | |
Removed variable for the type argument of List.
| -rw-r--r-- | transfer/lib/prelude.tr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/transfer/lib/prelude.tr b/transfer/lib/prelude.tr index a9ec4812b..3ec830d13 100644 --- a/transfer/lib/prelude.tr +++ b/transfer/lib/prelude.tr @@ -122,7 +122,7 @@ mul_Bool = rec one = True -- The List type -- -data List : (_:Type) -> Type where +data List : Type -> Type where Nil : (A:Type) -> List A Cons : (A:Type) -> A -> List A -> List A |