doc-src/Codegen/Thy/examples/Example.hs

 {-# OPTIONS_GHC -fglasgow-exts #-}
 
 module Example where {
-
 
 foldla :: forall a b. (a -> b -> a) -> a -> [b] -> a;
 foldla f a [] = a;
 foldla f a (x : xs) = foldla f (f a x) xs;