Skip to content

GitLab

Merged
Opened by Jonas Kastberg@jihgfeeMaintainer

Logical Relations

Todo:

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