chymyst / curryhoward   0.3.8

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

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