doc-src/IsarAdvanced/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;