boring icon indicating copy to clipboard operation
boring copied to clipboard

Published 20 hours ago • verified publisher icon phadej
→

Metadata

Boring and Absurd types

boring

Boring and Absurd types.

Boring types are isomorphic to (). Absurd types are isomorphic to Void.

See What does () mean in Haskell -answer by Conor McBride

← Metadata

15
Stars
5
Forks
Watchers

Owner

verified publisher icon phadej

Metadata

Boring and Absurd types

Back