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 <button class="pull-url" value="https://idris.readthedocs.io/en/latest/tutorial/starting.html">pull</button> :: Starting Idris Koans small tidbits of Idris idris 2... you know what that means