S expression parser using ZHaskell

Simple haskell codebase with feature listed:

• Tokeniser

• Parser to WeakTerm

• Using cabal file instead of package.yaml

Normalisation by Evaluation of Lambda Calculus terms

This tag contains a workable demo of compiler that can

• parse lambda calculus
• normalise lambda calculus*
• evaluate lambda calculus*

Basically we implemented demo of NbE(Normalisation by Evaluation) using Andras Kovacs's flatparse and his glued evaluation.