A friendly programming language from the future

Agda is a dependently typed programming language / interactive theorem prover.

A programming language with static memory management based on λ-calculus

Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

A small and expressive dependently typed language