chymyst / curryhoward   0.3.8

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

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