Skip to content

Church Encoding

Latest
Compare
Choose a tag to compare
@5HT 5HT released this 04 Apr 14:39
· 18 commits to main since this release
3830a90
  • Bool and Nat terms
  • Pure Core of Simply Typed Lambda Calculus in 100 LOC
  • Parser in 15 LOC
  • Lexer in 35 LOC