Posts tagged "type-level"
Kinds: A (Partial) Triptych of Universes
16 September 2020
A comprehensive, no-nonsense rundown of Haskell’s kind system intended for beginners.
Read More