0 Forks
6 Stars
6 Watchers

idr-logical-foundations

Logical Foundations in Idris

How to download and setup idr-logical-foundations

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

Or simply clone idr-logical-foundations with SSH
[email protected]:fabianhjr/idr-logical-foundations.git

If you have some problems with idr-logical-foundations

You may open issue on idr-logical-foundations support forum (system) here: https://github.com/fabianhjr/idr-logical-foundations/issues