Merge branch 'master' of github.com:gchelfi/HaskIt
Merge branch 'master' of github.com:gchelfi/HaskIt
Addition of a prompt when used as a script rather than as an executable
Naming more consistent
Addition of an example mail