Skip to content

Update type-level quantifiers

Type-level quantifiers:

  • Add value restriction to ∀
  • Add kinds to the type-system quantifiers
  • Update subtyping rules (See #6)

Session-Type level quantifiers:

  • Introduce tele_scope thing
  • Generalize protocol binders
  • Update subtyping rules (See #6)
Edited by Jonas Kastberg
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information