30 Forks
431 Stars
431 Watchers

software-foundations

Software Foundations in Idris

How to download and setup software-foundations

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

Or simply clone software-foundations with SSH
[email protected]:idris-hackers/software-foundations.git

If you have some problems with software-foundations

You may open issue on software-foundations support forum (system) here: https://github.com/idris-hackers/software-foundations/issues