[simantics/platform.git] / List.scl

data List a = Nil | Cons a (List a)

main :: List Integer
main = Cons (3 :: Integer) Nil
--
(Cons 3 Nil)