3 ms·
In fact, relying on this monad, we can achieve full type safety for multi-role communication. https://github.com/sdzx-1/typed-session https://github.com/sdzx-1
by goless 1y ago
In fact, relying on this monad, we can achieve full type safety for multi-role communication.
https://github.com/sdzx-1/typed-session https://github.com/sdzx-1/typed-session