14 lines
167 B
Text
14 lines
167 B
Text
data List (a) where {
|
|
Nil : List (a)
|
|
Cons : a -> List (a) -> List (a)
|
|
};
|
|
|
|
test xs = case xs of {
|
|
Cons Nil _ => 0 ;
|
|
};
|
|
|
|
|
|
|
|
List a /= List (List a)
|
|
|
|
a /= List a
|