@edwinbrady I'd need my universal quantifier in Idris to go further in my experiment, any seconds to allocate to me? :p
-
-
@edwinbrady "Edwin Brady" buried under JS&XML is the worst excuse Ive heard ;D Thks dude, I'll try to distract u if I've no EJB to write :p -
@mandubian would you believe they let me teach this stuff... I can see why it's hard to believe :) - 10 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.