liboleg-2010.1.9.0: An evolving collection of Oleg Kiselyov's Haskell modules
mary :: StringSource
john :: StringSource
like :: StringSource
r2 :: String -> String -> StringSource
r1 :: String -> String -> StringSource
sentence :: StringSource
bad_sentence :: StringSource
Unfortunately, the following sentence is, too,
accepted by the type checker.
We shall later see how to build terms that correspond to
all and only valid derivations.
Invalid derivations will become ill-typed.
Produced by Haddock version 2.8.1