session-types is available on crates.io. It is recommended to look there for the newest released version, as well as links to the newest builds of the docs. Session types are not a new concept. They ...