Blog posts

• 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.