4 results
Nat and Fin: peano naturals and finite numbers
Core data structures and operations
Vec: length-indexed (sized) list
Optics as an abstract interface: core definitions