This repository contains exercises for the session types tutorial session at OPLSS
To run the exercises, simply make sure that Rust is installed following the instructions here.
To check if the installation is successful, try running:
$ cargo run --bin 00_hello
Hello World!If you encounter any error here, do ask for help during the tutorial!
The exercises placed in the src/bin directory. To complete
the exercise, follow the instructions in each file and fill in the
blanks that are written as todo!() placeholders.
A complementary slides explaining Ferrite is available here
More information on Ferrite is available here: