Status: Planned — contributions welcome.
This section will map Java's type system features (generics, sealed classes, records, pattern matching, etc.) to the constraints they can enforce at compile time.
| Directory | Contents |
|---|---|
catalog/ |
One document per type system feature |
usecases/ |
One document per compile-time constraint |
See the main README for the full project overview and shared docs.