@edwinbrady - Where might I go to hear a talk on idris?
-
New conversation
-
-
-
This Tweet is unavailable.
-
@raichoo Oh, I’ve not seen that, I’ll take a look. I’d like someone other than me to do the hard work this time though! - 1 more reply
-
-
-
@edwinbrady I'd take (a simpler form of) the Haskell model rather than the ML model. -
@khstandrews That’s what we do have, but it’s kind of ad-hoc thrown together rather than properly thought out. - 1 more reply
New conversation -
-
-
@edwinbrady First-class modules are also cool if done simply: might be easer with#idris than#haskell.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling@raichoo@edwinbrady Mixins are an elegant way to express that overriding feature I'm wantingThanks. 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.