Compiling and executing code / Idris 3

Hello, steemit programmers!

I had already announced the series on the Idris programming language that I started last month.
I also have the Installation guide for Haskell, Idris and Atom out of the way. Before I start with the basics proper, the following video is about the topic in the title.
:)

I'll also do a series on fundamentals of math, coming up tomorrow. I scratch on my plans in the in the introduction.

Good day!