Hrefna (DHC) on Nostr: Okay, as someone who is into distributed systems and more recently dependent types I ...
Okay, as someone who is into distributed systems and more recently dependent types I nearly did a spit take: wait what do you mean happens-before as a dependent type!? Is this somewhere I can read about it or see more?