A purely functional programming language with first class types

A dependently typed programming language, a successor to Idris

𝛌 Awesome Idris resources

Programming language agnostic type construction language based on polynomials.

formally verified category theory library

Sample code from "Type Driven Development with Idris"

SPLV20 course notes

Inigo: A Package Manager for Idris2

Finite state machines as graphs

A purely functional programming language with first class types

Package manager for Idris

A well-typed symmetric-monoidal category of concurrent processes

An extensible IO-like monad-like thing for Idris, with support for including linear subprograms

Idris GraphQL