Idris 2

Idris 2

Tim Süberkrüb (timsueberkrueb) Publisher
  • Tim Süberkrüb (timsueberkrueb) Publisher
  • Development

Install latest/beta of Idris 2

Ubuntu 16.04 or later?

Make sure snap support is enabled in your Desktop store.


Install using the command line

sudo snap install idris2 --beta --classic

Don't have snapd? Get set up for snaps.

Idris 2 is only available on the unstable beta channel. It could break and change often.

Channel Version Published

A purely functional programming language with first class types

A preview version of Idris 2. Idris 2 is a dependently typed programming language based on "Quantitative Type Theory" which allows explicit annotation of erased types, and linear types.

WARNING: Please note that Idris 2 is still under development. For now, the goal of this snap package is to provide a hassle-free way for Idris users to stay up to date with the Idris 2 development by providing nightly snap builds.

Snap channels

  • stable: No stable releases yet
  • candidate: No release candidates yet
  • beta: Beta releases (e.g. v0.Y.Z)
  • edge: Nightly development builds

Links

Developer website

Contact Tim Süberkrüb

Details for Idris 2

License
BSD-3-Clause
Last updated
24 June 2021

Share this snap

Generate an embeddable card to be shared on external websites.


Related blog posts


Where people are using Idris 2

Users by distribution (log)

Ubuntu 20.04
Ubuntu 18.04
Ubuntu 21.04
pop 21.04

Install Idris 2 on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.


Is there a problem with Idris 2? Report this app