Description
Idris 2 projects can express refined values whose accepted data is constrained by stronger type-level checks.
It is useful for developers exploring safer APIs, validation, and proof-oriented programming. This is a library package and becomes useful through Idris 2 source code and builds.