Dependently-typed implementation of common collections with an emphasis on type-safety.
Heavily inspired by the standard collection library of Rust, this library intends to demonstrate the power of dependent types in practical programming.
Dependently-typed implementation of common collections with an emphasis on type-safety.
Heavily inspired by the standard collection library of Rust, this library intends to demonstrate the power of dependent types in practical programming.