Skip to content

Releases: groupoid/alonzo

Church Encoding

04 Apr 14:39
@5HT 5HT
3830a90
Compare
Choose a tag to compare
  • Bool and Nat terms
  • Pure Core of Simply Typed Lambda Calculus in 100 LOC
  • Parser in 15 LOC
  • Lexer in 35 LOC