Mu (μ) is a purely functional framework for building micro services.

🎯 IO with Exceptions tracked on the type-level

💄🐞 Combinators for writing pretty type errors easily

Type-level well-kinded natural numbers.

A collection of type-level operators

⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!

Haskell type-level multi-dimensional array

Associate type-level names to values in a heterogeneous non-empty list