Revision history for Lambda 0.1.0.0 -- 2021-01-27 A prototype version on lambda calculus application and Haskell read world usages