The typed-session is now available！

The typed-session is available now. I wrote some articles on how to use typed-session. https://hackage.haskell.org/package/typed-session

https://github.com/sdzx-1/How-to-use-typed-session/blob/main...

Typed session are used to ensure desirable properties in concurrent and distributed systems, i.e. absence of communication errors or deadlocks, and protocol conformance.

Here are some gifs: https://github.com/sdzx-1/How-to-use-typed-session/raw/main/... https://github.com/sdzx-1/How-to-use-typed-session/raw/main/... https://github.com/sdzx-1/How-to-use-typed-session/raw/main/...