← All repos

Idris2-boot

A dependently typed programming language, a successor to Idris

GitHubidris-lang.org/
Browse cluster: Haskell tooling and libraries →
1,284commits
50contributors
8languages

Tech stack & purpose

Idris2-boot is the bootstrapping version of Idris 2, a dependently typed programming language that succeeds Idris 1. Its primary purpose is to build Idris 2 proper, and it requires Idris version 1.3.2 to compile. The language introduces a core based on Quantitative Type Theory with support for erased and linear types, along with a new Chez Scheme backend that compiles and runs faster than Idris 1's default backend, and includes an intermediate language called TTImp that cleanly separates desugared code from high-level syntax.

Community & reference links

Languages

Idris
97.3%
C
1.4%
Scheme
0.6%
Makefile
0.4%
Racket
0.3%
Shell
0.1%
Dockerfile
0.0%
C++
0.0%

Contributors (top 30 of 50)