A purely functional programming language with first class types

A dependently typed programming language, a successor to Idris

A prototype successor to Idris

Software Foundations in Idris

Recursion schemes for Idris

A port of QuickCheck to Idris

A test framework for Idris

dependent types meets deep learning

Purely functional data structures in Idris

Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types. WIP