Typesafe record types for Scala
-
Updated
Jan 2, 2025 - Scala
Typesafe record types for Scala
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
Record types from JSON schemata in Scala
Add a description, image, and links to the record-types topic page so that developers can more easily learn about it.
To associate your repository with the record-types topic, visit your repo's landing page and select "manage topics."