chymyst / curryhoward 0.3.8

Apache License 2.0 GitHub

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

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

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)