chymyst / curryhoward 0.3.8

Apache License 2.0 GitHub

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

Scala versions: 2.13 2.12 2.11

Latest version

[![curryhoward Scala version support](https://index.scala-lang.org/chymyst/curryhoward/curryhoward/latest.svg)](https://index.scala-lang.org/chymyst/curryhoward/curryhoward)

JVM badge

[![curryhoward Scala version support](https://index.scala-lang.org/chymyst/curryhoward/curryhoward/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/chymyst/curryhoward/curryhoward)