package-set

idris2Packages

Showing entries 1-3 out of 3.

development/compilers

Language Server for Idris2

development/compilers

Idris2 Compiler API Library

development/compilers

An Idris2 Package Manager with Curated Package Collections