@hackage sized-vector dependencies
4 results
@hackage/singletons
Basic singleton types and definitions
@hackage/base
Core data structures and operations
@hackage/type-natural
Type-level natural and proofs of their properties.
@hackage/monomorphic
Library to convert polymorphic datatypes to/from its monomorphic represetation