@edwinbrady I'd need my universal quantifier in Idris to go further in my experiment, any seconds to allocate to me? :p
@mandubian would you believe they let me teach this stuff... I can see why it's hard to believe :)
-
-
@edwinbrady "teaching XML" ohohohoh that's so funny... nobody teaches that, there is nothing to learn about it -
@mandubian Javascript is what I'm teaching. Would you believe XML is the input format for the TypeDD book though... *hangs head in shame* - 8 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.