| changeset 34171 | 0928909af6aa |
| parent 32360 | 79b5b3031c87 |
| child 37428 | b3d94253e7f2 |
--- a/doc-src/Codegen/Thy/examples/Example.hs Wed Dec 23 08:31:14 2009 +0100 +++ b/doc-src/Codegen/Thy/examples/Example.hs Wed Dec 23 08:31:14 2009 +0100 @@ -2,7 +2,6 @@ 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;