Skip to main content

Haskell

2024

Unordered Homogeneous N-tuples for Guaranteed Commutativity
·1795 words·9 mins
Haskell Type-Level-Programming
Defining a type of unordered containers and using it to write commutative functions