3 results
Core data structures and operations
Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.
Statically checked physical dimensions