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


Details for Idris 2

  • BSD-3-Clause

Last updated
  • 28 January 2022


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 22.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