Download curryhoward_2.11 JAR 0.3.8 with all dependencies
Automatic code generation from function types using the Curry-Howard correspondence
Files of the artifact curryhoward_2.11 version 0.3.8 from the group io.chymyst.
Artifact curryhoward_2.11
Group io.chymyst
Version 0.3.8
Last update 23. August 2021
Tags: using correspondence automatic howard code from types generation curry function
Organization io.chymyst
URL https://github.com/Chymyst/curryhoward
License Apache License, Version 2.0
Dependencies amount 2
Dependencies scala-library, scala-reflect,
There are maybe transitive dependencies!
Group io.chymyst
Version 0.3.8
Last update 23. August 2021
Tags: using correspondence automatic howard code from types generation curry function
Organization io.chymyst
URL https://github.com/Chymyst/curryhoward
License Apache License, Version 2.0
Dependencies amount 2
Dependencies scala-library, scala-reflect,
There are maybe transitive dependencies!
The newest version!
Show all versions of curryhoward_2.11 Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of curryhoward_2.11 version 0.3.8
Please wait ...