+++ /dev/null
-package Koe
-{
-Id =\x -> /* multi-line
-Comment_ */ x // the identity function
-;
-K = \x -> \y_ -> x
-
-;fac = \n ->
- case n of
- { n -> n
- ; n -> let { m = minus n 1 } in times n (fac m)
- }
-; class Hi extends Mondrian { x = 2}
-}