Removing useless code.
Simplifying using massyl's neat trick using the flip function.
Simplifying the nim printing to the screen.
Creating the parser of Prop
Adding the parser for Var expression.
parsing Const
Adapting Var
I think i have the right one this time.
not
and
Adding the remaining needed parsing.
Evaluation of a string into a Maybe Prop.
Simplifying the grammar
Adding example
formatting
Simplify the boolean reading.
adding example
Interactive prompt for reading expression and checking if it's a
tautology or not.
Simplification.
Run sample