Type-checking the session-typed pi-calculus in Coq (master's thesis)
@kit_ty_kate ! Awesome !
@yomimono I'll tell her ^_^
@kit_ty_kate very nice! That explains the complicated questions on coq-club ^^
@Armael ah, that wasn't her! xD
@kit_ty_kate wait what, really? :D
Because there was a Uma on coq-club asking questions about session-types-related-thingys, so I figured...
@kit_ty_kate wait no, not coq-club, the discuss
@Armael haha yes, that was her!
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!