chymyst / curryhoward   0.3.8

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

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