12 Forks
250 Stars
250 Watchers

curryhoward

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

How to download and setup curryhoward

Open terminal and run command
git clone https://github.com/Chymyst/curryhoward.git
git clone is used to create a copy or clone of curryhoward repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with curryhoward https://github.com/Chymyst/curryhoward/archive/master.zip

Or simply clone curryhoward with SSH
[email protected]:Chymyst/curryhoward.git

If you have some problems with curryhoward

You may open issue on curryhoward support forum (system) here: https://github.com/Chymyst/curryhoward/issues