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.

Get it from the Snap Store

Search for another snap, or go back to the homepage