Improved parser
Simplified some stuff
Interactive tagging
Typo stuff
Line lengths
Only 2 warnings left
Corrected eta conversion
Very simplistic makefile
Introduced special variable _
Line length
Church numeral representation (not yet recognized)
Code reorganization
Now dynamically recognizing numbers
Minor cleanups