chymyst / curryhoward   0.3.8

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

• lambda-terms
• scala-macros
• scala
• automated-theorem-provers
• intuitionistic-logic
• curry-howard-isomorphism
• lambda-calculus
• theorem-prover
• functional-programming
• code-generation