I often wish I'd used "interface" instead of "class" as the keyword in Idris, since they're not type classes. Perhaps it's not too late…
-
-
@edwinbrady Can it be green instead of blue? -
@cyocum I mostly called it a "blueprint" to invite that sort of question :) - 1 more reply
New conversation -
-
-
@edwinbrady that's not a bike shed. I have bike shed blueprints. They look nothing like that... -
@mrdrem what colour are they? - 1 more reply
New conversation -
-
This Tweet is unavailable.
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.