Skip to content

Sealing session type subtyping relation

Jonas Kastberg requested to merge jonas/sealing_ltty_le into master

Seal subtyping relation for session types, to avoid breaking abstraction when applying subtyping rules and tactics

Edited by Jonas Kastberg

Merge request reports