Hello, programmers,
I had announced the series on the Idris programming language that I started last month. That's a purely functional and dependently typed language.
I also have the
Installation guide for Haskell, Idris and Atom out of the way. In the next and fourth video, we start with some very basic coding
:)
Good day!
