Skip to content

Normalisation by Evaluation of Lambda Calculus terms

Pre-release
Pre-release
Compare
Choose a tag to compare
@zypeh zypeh released this 20 Mar 16:06
· 41 commits to main since this release
v0.1.0-nf
1701945
This commit was signed with the committer’s verified signature.
zypeh zypeh
GPG key ID: AC7DC9EF6A460E71
Learn about vigilant mode.

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.

Assets 2
Loading