Compiling and executing code / Idris 3

qed(48)
Published in
#steemdev
Words
76
Reading
1 min
Listen
Play
9y

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!

Compiling and executing code / Idris 3 | Ecency