Blog posts

• After ICFP 2018. September 30, 2018.
  I spent a week at the main functional programming conference and got to talk to my heroes, so here are some reflections.
• Scoped implicit conversions for Idris. November 14, 2017.
  The Idris community is not so fond of implicit conversions, I think they're a useful and powerful tool that are easy to misuse. Here's an idea to fix them.