RE: Type-Driven Development / Idris 1

You are viewing a single comment's thread from:

Type-Driven Development / Idris 1

in programming •  7 years ago 

Excited to see a post on Idris. It is such a fascinating language. It's a language that really makes you rethink what is possible in programming. I look forward to reading/watching your series.

programming
7 years ago by

Downvoting a post can decrease pending rewards and make it less visible. Common reasons:

  • Disagreement on rewards
  • Fraud or plagiarism
  • Hate speech or trolling
  • Miscategorized content or spam

Submit
$0.06
  • Past Payouts $0.06
  • - Author $0.05
  • - Curators $0.01
3 votes
1
Authors get paid when people like you upvote their post.
If you enjoyed what you read here, create your account today and start earning FREE STEEM!
Sort Order:  
  • Trending
    • [-]
      ·  7 years ago 

    Cool, thanks. I've got 5 videos done and the plan for the next 5 written down. I'll start on a very basic level and then take off to styles you can't have in other languages :)

    Downvoting a post can decrease pending rewards and make it less visible. Common reasons:

    • Disagreement on rewards
    • Fraud or plagiarism
    • Hate speech or trolling
    • Miscategorized content or spam

    Submit
    $0.05
    • Past Payouts $0.05
    • - Author $0.04
    • - Curators $0.01
    1 vote