10 results
Deep evaluation of data structures
Core data structures and operations
A better, more type-safe Enum.
Groups
A type inhabited by finitely many values, indexed by type-level naturals
Semigroup actions and torsors.