RE: Variable definitions with Integer / Idris 4

You are viewing a single comment's thread from:

Variable definitions with Integer / Idris 4

in steemdev •  8 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?

steemdev
8 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.00
    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!