Description
Idris 2 projects can reuse algebraic structures that encode laws in the type-driven programming style.
It is useful for developers and researchers building mathematically structured code. This is a library package, so it is normally consumed through Idris 2 builds rather than opened directly.