Implement compiler of lambda calculus - Githubissues

helvm / helpa

🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell

https://helvm.github.io/helpa

9 stars 0 forks source link

Implement compiler of lambda calculus #55

Open kamil-adam opened 2 years ago

kamil-adam commented 2 years ago

https://en.m.wikipedia.org/wiki/Church_encoding

App/Cal
Abs/Fun index
Arg/Par
DefineCombinator
Define
Begin
Load

Brackets:

() for apply
[] for list
{} for tuple

Other

lambda \
nil ~
Atom/Symbol - big letter
text ""
char '