Installing Haskell, Idris and Atom / Idris 2
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!
Hello! I just upvoted you! I help new Steemit members! Upvote this comment and follow me! i will upvote your future posts! To any other visitor, upvote this post also to receive free UpVotes from me! Happy SteemIt!