You are viewing a single comment's thread from:
RE: Type-Driven Development / Idris 1
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.
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 :)