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!