0 Forks
8 Stars
8 Watchers

sesstype.rs

An implementation of Multiparty Session Types in Rust

How to download and setup sesstype.rs

Open terminal and run command
git clone https://github.com/nickng/sesstype.rs.git
git clone is used to create a copy or clone of sesstype.rs repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with sesstype.rs https://github.com/nickng/sesstype.rs/archive/master.zip

Or simply clone sesstype.rs with SSH
[email protected]:nickng/sesstype.rs.git

If you have some problems with sesstype.rs

You may open issue on sesstype.rs support forum (system) here: https://github.com/nickng/sesstype.rs/issues