Skip to content

GitLab

Closed
Created by Jonas Kastberg@jihgfeeMaintainer1 of 6 tasks completed1/6 tasks

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