Direct reflections from ICFP 2018
Posted on September 30, 2018, by joomy, in: conference, pl, haskell, idris
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
Posted on November 14, 2017, by joomy, in: idris, proposal
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.