Munksgaard / session-types

MIT License
550 stars 21 forks source link

Sending Chan #63

Open NicolasLagaillardie opened 4 years ago

NicolasLagaillardie commented 4 years ago

Hello,

I am currently using your repository for my PhD. I would like to know: how to send a Chan from a server to a Client such that they both connect to this new session_channel()? I have a recursive error which requests either a send when I have a recv or a recv when I have a send.

Thank you in advance.