Variable definitions with Integer / Idris 4
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!
Awesome video as always! Would you mind checking out my latest post and talking about whatever programming projects you're currently working on?
Congratulations @qed! You have completed some achievement on Steemit and have been rewarded with new badge(s) :
Award for the number of comments
Click on any badge to view your own Board of Honor on SteemitBoard.
For more information about SteemitBoard, click here
If you no longer want to receive notifications, reply to this comment with the word
STOP
Okay steemitboard, the reply must start with an @, followed by just a username.