Type-checked non-empty strings

A neat technique for defining a non-empty string constructor in Haskell.

View Post on Scour ↗

More from Exploring Better Ways on Scour.

Covers Dependent Types: Current Status by Serokell GHC Team