Fixed
Fixed
Overview
Implementation plan
Specification
Fixed Standard Library — Core Types and Capabilities
Fixed Type System
Fixed Effects
Fixed Pattern Matching
Fixed Properties
Fixed Quantities (QTT)
Fixed Perceus Reference Counting
References
Overview
Constructive
eo
cardinality
Overview
Overview
Constructive
— the consultancy behind the project.
eo
— sister project: existential optics for Scala 3.
cardinality
— sister project: a value-space calculator for Scala types.
