Home page
|
Back
Joomy Korkut's blog
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.