principle-type-system-discipline
michael-denyer648 installs
Catch invalid states in your code at compile time.
What it does
Guides type design so the compiler catches invalid states, mixed-up identifiers, and unhandled cases.
When to use it
Use when designing types, reviewing function signatures, or writing code in a statically typed language.
How to use it
It changes how the agent designs types, reviews function signatures, and writes statically typed project code.
What you provide
- An existing project
Latest review
What you need · 0
No setup requirements listed.
Access · 0
No additional actions listed.