Idris

: You can install it via the Haskell platform ( cabal install idris ).

: Video tutorials on YouTube cover solo boarding and bridge takeover. 2. Idris Programming Language : You can install it via the Haskell

If you are looking to learn the functional programming language with dependent types: : You can install it via the Haskell