Variable definitions with Integer / Idris 4steemCreated with Sketch.

in #steemdev • 7 years ago

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!

#steem-dev #tutorial #education #technology
7 years ago in #steemdev by
$0.46
  • Past Payouts $0.46, 0.00 TRX
  • - Author $0.36, 0.00 TRX
  • - Curators $0.10, 0.00 TRX
3 votes
Reply 3
Sort:  
  • Trending
    • [-]
     7 years ago 

    Awesome video as always! Would you mind checking out my latest post and talking about whatever programming projects you're currently working on?

    $0.00
      Reply
      [-]
       7 years ago 

      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

      By upvoting this notification, you can help all Steemit users. Learn how here!

      $0.00
        Reply
        [-]
         7 years ago 

        Okay steemitboard, the reply must start with an @, followed by just a username.

        $0.00
          Reply

          Coin Marketplace

          STEEM 0.16
          TRX 0.16
          JST 0.030
          BTC 59239.68
          ETH 2525.24
          USDT 1.00
          SBD 2.50