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.
• Bibliography — the papers and posts behind the language.