can haz overloadedstrings in idris? @edwinbrady
-
-
Replying to @edwinbrady
@edwinbrady Implicit coercion eh? Sounds good! Not like I've been burned by that in Scala or anything...1 reply 0 retweets 0 likes -
-
Replying to @edwinbrady
@edwinbrady Do you know where I can find out about it?1 reply 0 retweets 0 likes -
Replying to @kamatsu8
@kamatsu8 Almost certainly a terrible idea, and I discovered a buglet with implicit in the process, but https://gist.github.com/edwinb/eb8424a3e7773bdba54e …1 reply 0 retweets 0 likes
@kamatsu8 as a general rule, if there's only one "implicit" per target type, you'll be fine. No subtyping to confuse matters.
6:34 AM - 10 Aug 2015
0 replies
0 retweets
0 likes
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.