Idris 2

Idris 2

Tim Süberkrüb (timsueberkrueb)

Install latest/edge of Idris 2

Make sure snap support is enabled in your Desktop store.

Install using the command line

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

Channel Version Published

A dependently typed programming language, a successor to Idris

A pre-alpha 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 currently pre-alpha. 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.


Developer website

Contact Tim Süberkrüb

Details for Idris 2

Last updated

Share this snap

Generate an embeddable card to be shared on external websites.

Where people are using Idris 2

Users by distribution (log)

ubuntu 18.04

Related blog posts

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