Idris2

compiler

A purely functional programming language with first class types

How to download and setup Idris2

Open terminal and run command

git clone https://github.com/idris-lang/Idris2.git

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

Or simply clone Idris2 with SSH

[email protected]:idris-lang/Idris2.git

If you have some problems with Idris2

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

Similar to Idris2 repositories

Here you may see Idris2 alternatives and analogs

webpack babel next.js gatsby pkg parcel pyret-lang iris lebab guido kotlin kotlin-native selfie reading Halide godzilla compiler-explorer Bridge svelte shaderc rust marked v8 gopherjs Nim compiler rescript-compiler opal red scala-js