liboleg-2010.1.10.0: An evolving collection of Oleg Kiselyov's Haskell modules

Lambda.CFG2EN

Description

Synopsis

Documentation

mary :: StringSource

Type annotations

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.