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.

Arch Linux

CentOS

Debian

elementary OS

Fedora

KDE Neon

Kubuntu

Manjaro

Linux Mint

openSUSE

Red Hat Enterprise Linux

Ubuntu

Is there a problem with Idris 2? Report this app