Skip to content

Session notation

Jonas Kastberg requested to merge jonas/session_notation into master

Changes notation scheme for Session Types and fixes some nits.

Edited by Jonas Kastberg

Merge request reports