can haz overloadedstrings in idris? @edwinbrady
@kamatsu8 You could do it with some horrible hack like an implicit coercion… but otherwise, no. Possibly worth adding some time.
-
-
@edwinbrady Implicit coercion eh? Sounds good! Not like I've been burned by that in Scala or anything... -
@kamatsu8 It is significantly more limited than scale's version. - 4 more replies
New conversation -
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.