Today's piece on coinduction (and its troubled status in type theory) seems to go on for ever. Here it is:http://pigworker.wordpress.com/2015/01/02/coinduction/ …
@geophf @pigworker It isn't especially careful at the moment. There's not much work been done on codata.
-
-
@edwinbrady@geophf I'm wondering if you can reproduce the usual subject reduction failure. If you haven't actively prevented it, probably. -
@pigworker I'd expect so, yes.@geophf
End of conversation
New conversation -
-
-
@edwinbrady@geophf Then again, you can rely on snarky French PhD students keeping quiet about that one, so don't rush. -
@edwinbrady But our@pigworker did stir up the hornets' nest, it seems, didn't he? ;)
End of conversation
New conversation -
-
-
@edwinbrady Thank you for your answer, and this is to@pigworker point, generally, that nobody (well: most) is not working on codata. -
“
@geophf: nobody ...is not working on codata.” Is it a co-negation? ;) - 1 more reply
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.