Debugging a Heisenbug. Among other efforts to probe it, making a small change to an unrelated function makes it go away. Years ago, I'd have left it at that... but now I'm not going to sleep until I know what's going on...
-
-
..or at least until you figure out the right primitives to spec/derive it in a type theory language

-
Indeed. Though I think I need to get over this current tedious hurdle before then!
- 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.