• Sign in
  • Sign up 
  • Welcome
  • FAQ
  • Block Explorer 
  • Night Mode
  • Stolen Accounts Recovery 
  • Change Account Password 
  • Vote for Witnesses 
  • Hive Proposals 
  • OpenHive Chat 
  • Developer Portal 
  • Hive Whitepaper 
  • Privacy Policy
  • Terms of Service
logo
  • Posts
  • Proposals
  • Witnesses
  • Our dApps
LoginSign up
You are viewing a single comment's thread from:

RE: Type-Driven Development / Idris 1

  • View the full context
  • View the direct parent
qed (48)in #programming • 8 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 :)

8 years ago in #programming by qed (48)
$0.05
  • Past Payouts $0.05
  • - Author $0.04
  • - Curators $0.01
1 vote
  • nv-vn: $0.05
Reply 0
Sort:  
  • Trending
    • Trending
    • Votes
    • Age