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