GitHub repository: Chymyst/curryhoward
Primary language: Scala
Created: 2017-12-12T00:09:56Z
Description: Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism