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.