4 Forks
34 Stars
34 Watchers

ikan

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