can haz overloadedstrings in idris? @edwinbrady
@kamatsu8 Almost certainly a terrible idea, and I discovered a buglet with implicit in the process, but https://gist.github.com/edwinb/eb8424a3e7773bdba54e …
-
-
@kamatsu8 as a general rule, if there's only one "implicit" per target type, you'll be fine. No subtyping to confuse matters.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.