LambdaPi

Yet another (modern) Java implementation of the famous LambdaPi.pdf.

Paper translation (Chinese)

Progress

• Java implementation
  • Tokenize
  • Syntax
    • Pretty printing
  • Parse
  • STLC (λ_→)
    • Representation
    • Evaluator
    • Type checker
    • Quoting
  • DTLC (λ_Π)
    • Representation
    • Evaluator + Type checker
    • Quoting
  • Natural number
  • Vector
• Python implementation
  • This is a garbage programming language, but I think there might should be one.

Contribution

You don't.