Idris

Idris is a fully-featured programming language inspired by Haskell that has full support for dependent types.

Resources

https://github.com/jdublu10/pacman a proof that idris is pacman complete, the most important part of a programming language https://github.com/joaomilho/awesome-idris :: Idris resources https://idris.readthedocs.io/en/latest/tutorial/starting.html :: Starting Idris Koans: small tidbits of Idris idris 2... you know what that means