Removed deprecated sources
Implemented 8 normalization strategies for lambda-calculus using de-Bruijn indices
Implemented 8 normalization strategies for lambda-calculus using indexed-names and named-indices
Renamed README to README.md
Implemented 8 normalization strategies for lambda-calculus using higher-order abstract syntax
Renamed CINNI.hs to INNI.hs
Updated README.md