String and more REPL commands / Idris 5

in #programming • 7 years ago (edited)

Hello guys,

in this episode of my Idris series, I'll finish up with using the most basic features of the REPL and one of the most interesting type.

In the upcoming video, I'll go more into function types.

I've not gotten much feedback on steemit regarding this series - I'd be interested in your experiences, thoughts and questions regarding and dependent types in particular.


Languages in that category are Idris, Agda, Coq, F* or Lean, the last two being Microsoft projects.

Take care
@qed

#steemdev #tutorial #education #technology
7 years ago in #programming by
$1.64
  • Promotion Cost $0.01
  • Past Payouts $1.64, 0.00 TRX
  • - Author $1.39, 0.00 TRX
  • - Curators $0.25, 0.00 TRX
16 votes
Reply 1
Sort:  
  • Trending
    • [-]
     7 years ago 

    This post has received a 1.47 % upvote from @booster thanks to: @qed.

    $0.00
      Reply

      Coin Marketplace

      STEEM 0.19
      TRX 0.14
      JST 0.029
      BTC 64112.50
      ETH 3174.45
      USDT 1.00
      SBD 2.54