ContextQMD
Back to Scala3

Capture Checking

docs/_docs/reference/experimental/capture-checking/cc.md

3.8.3121 B
Original Source

Capture checking is a research project that modifies the Scala type system to track references to capabilities in values.