I spent a week at the main functional programming conference and got to talk to my heroes, so here are some reflections.
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.
