Skip to content

Implement compiler of lambda calculus #55

@kamil-adam

Description

@kamil-adam

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 '

Metadata

Metadata

Labels

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions