@edwinbrady I'd need my universal quantifier in Idris to go further in my experiment, any seconds to allocate to me? :p
-
-
Replying to @mandubian
@mandubian oops, I've been buried under Javascript and xml this week. Prod me tomorrow afternoon and I'll be glad to be distracted.1 reply 1 retweet 1 like -
Replying to @edwinbrady
@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 :p1 reply 0 retweets 2 likes -
Replying to @mandubian
@mandubian would you believe they let me teach this stuff... I can see why it's hard to believe :)1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady "teaching XML" ohohohoh that's so funny... nobody teaches that, there is nothing to learn about it1 reply 0 retweets 0 likes -
Replying to @mandubian
@mandubian Javascript is what I'm teaching. Would you believe XML is the input format for the TypeDD book though... *hangs head in shame*3 replies 0 retweets 4 likes -
Replying to @edwinbrady
@edwinbrady@mandubian you teach JS at St. Andrews?1 reply 0 retweets 0 likes
@bitemyapp @mandubian we teach all sorts, depending on the degree they're doing. This is for a masters in IT and Management.
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.