14 lines
244 B
Text
14 lines
244 B
Text
data List ('a) where;
|
|
Nil : List ('a),
|
|
Cons : 'a -> List ('a) -> List ('a) ;
|
|
|
|
main : List (_Int) ;
|
|
main = Cons 1 (Cons 0 Nil) ;
|
|
|
|
data Bool () where;
|
|
True : Bool (),
|
|
False : Bool ();
|
|
|
|
boolean : Bool (_Int);
|
|
boolean = True ;
|
|
|