Skip to content

Church Encoding

Latest
Latest
Compare
Choose a tag to compare
@5HT 5HT released this 04 Apr 14:39
· 18 commits to main since this release
0.4.0
3830a90
This commit was signed with the committer’s verified signature.
5HT Максим Сохацький
GPG key ID: 66DC3325A9C7585B
Learn about vigilant mode.
  • Bool and Nat terms
  • Pure Core of Simply Typed Lambda Calculus in 100 LOC
  • Parser in 15 LOC
  • Lexer in 35 LOC
Assets 2