DEBSOURCES
Skip Quicknav
sources / curry-tools / 1.0.1%2Bdfsg1-1 / peval / Examples / papers / supercomb / supercomp01.curry
12345678
ones :: [Int] ones = 1 : ones map :: (a -> b) -> [a] -> [b] map _ [] = [] map f (x:xs) = f x : map f xs main = PEVAL (map (\x -> x + 1) ones)