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.
tonyxty/Collections-DT
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|