Skip to content

Session notation

Jonas Kastbergrequested to merge
jonas/session_notation into master

Changes notation scheme for Session Types and fixes some nits.

Edited by Jonas Kastberg

Merge request reports