hask2e - translate Haskell types to "English"
Copyright (c) 2005 Edwin Steiner <edwin.steiner@gmx.net>

This program is free software, for license details
see the file COPYING.

ABOUT hask2e
------------

I wrote this program in an effort to learn the Haskell language.
Maybe you find it useful | amusing.

BUILDING
--------

Building hask2e requires a Haskell compiler, the Parsec library
and a 'make' tool.

I only tested it with GHC 6.4. If you have a recent GHC, you should
be fine (Parsec is included in the GHC libraries).

To build hask2e with GHC type:

    make

USING
-----

When you start the program it asks you to enter a Haskell type.
Example:

    edwin@yukon:~/dev/hask2e$ ./hask2e
    Enter a type (nothing to quit):

Enter a type, as it may occur after '::' in Haskell. (Context
is currently not supported, so you have to omit the '... =>'
part, if any.)
Example:

    [Int] -> a -> Int

hask2e then tries to translate this into something resembling
English.
Example:

    This is a function taking
        a list of Ints
    and returning a function taking
        a value of type `a`
    and returning an Int.

The IO Monad is treated specially. Try 'IO Int', for example.

Maybe I'll find the time to add translation of contexts, 
other standard Monads, etc.

Have fun,
    -Edwin