Initial commit with simple (still buggy) parser and expressions
Settings
correction in alpha equivalence
Minor stuff
User interface initials
Improved output
Improved usability
some changes
Some new things
Interactive stepwise evaluation
Default set of usefull definitions
Corrected eta conversion
Removed old code
Message in case of unkown set-command
Tagged expressions
Ugly code, but prettyprinting working so far
Show code for expressions prettified
Prettifed allTags
Expression.hs line width 80
Improved parser