Hello, steemit!
Yesterday I announced
the series on the Idris programming language.
In todays video I go through the installation on Windows and Mac. In fact, I also show the installation of the related functional language Haskell, as well as on the common editor Atom, which I use.
Parallel to that, I'll start a series on fundamentals of math tomorrow. I wrote down some pointers in my introductory post
Take care!