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 

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 :)

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.05
  • Past Payouts $0.05
  • - Author $0.04
  • - Curators $0.01
1 vote
0
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!