Skip to content

Logical Relations

Jonas Kastberg requested to merge logrel into master

Todo:

  • n-ary branching
  • Add copy subtyping
  • Polymorphism in protocols
  • Channel Mutexes
Edited by Jonas Kastberg

Merge request reports