@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
-
-
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 As you can't find funny jokes about proofs, at least you can find hilarious ones about XML ;)2 replies 0 retweets 0 likes -
Replying to @mandubian
@mandubian I tried it. The reason for the error is that the 'm' in each FV is a different one, since what you have *is* a real forall…2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@mandubian …not that that means I have a solution yet. Trying stuff now…1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady to be complete, I'm porting this haskell code in Idris for fun, learn, compare between scala/hs/idris) https://github.com/aaronlevin/free-vl/blob/master/src/Control/Monad/Free/VanLaarhoven.hs …1 reply 0 retweets 1 like -
Replying to @mandubian
@edwinbrady I have written the code in Scala here https://github.com/mandubian/freevan/blob/master/src/main/scala/freevan.scala …1 reply 0 retweets 1 like -
Replying to @mandubian
@mandubian https://gist.github.com/edwinb/ab1d065838d0450c0978 … is how to define FreeVan, but scoped implicits like this are not well tested…1 reply 0 retweets 0 likes
@mandubian …so I think this might distract me for a bit longer.
-
-
Replying to @edwinbrady
@edwinbrady Huhu reassuring, I've the same code as you but then I can write a Functor & Applicative but not compile it! Show me the light ;)0 replies 0 retweets 0 likesThanks. 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.