1 Forks
11 Stars
11 Watchers

henk2000

Pure Type Systems for Functional Programming

How to download and setup henk2000

Open terminal and run command
git clone https://github.com/mishun/henk2000.git
git clone is used to create a copy or clone of henk2000 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 henk2000 https://github.com/mishun/henk2000/archive/master.zip

Or simply clone henk2000 with SSH
[email protected]:mishun/henk2000.git

If you have some problems with henk2000

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