ikan

package-manager

build tool and package manager for idris,in idris,with free monads

How to download and setup ikan

Open terminal and run command

git clone https://github.com/idris-industry/ikan.git

git clone is used to create a copy or clone of ikan 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 ikan https://github.com/idris-industry/ikan/archive/master.zip

Or simply clone ikan with SSH

[email protected]:idris-industry/ikan.git

If you have some problems with ikan

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

Similar to ikan repositories

Here you may see ikan alternatives and analogs

yarn brew CocoaPods composer Carthage pnpm vcpkg xmake dep antigen choco cargo habitat bower awesome-npm whalebrew conan dcos rubygems ied nix npx brew hatch hunter Paket poetry chromebrew bolt renovate