Things Blodwen can cope with that Idris can't, part 94... https://github.com/edwinb/Blodwen/blob/master/tests/blodwen/interface003/Functor.blod … (Or, yes, I did just spend my Saturday getting interfaces working...)
-
Show this thread
(Idris would get upset with lines 3 and 13, because it would fail to infer the types...)
3:39 PM - 23 Jun 2018
0 replies
0 retweets
5 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.