https://github.com/phadej/boring

Boring and Absurd types
https://github.com/phadej/boring

Last synced: about 1 year ago
JSON representation

Boring and Absurd types

• Host: GitHub
• URL: https://github.com/phadej/boring
• Owner: phadej
• Created: 2017-11-17T09:12:21.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2024-12-27T19:44:41.000Z (over 1 year ago)
• Last Synced: 2025-04-26T11:02:53.949Z (about 1 year ago)
• Language: Haskell
• Size: 70.3 KB
• Stars: 17
• Watchers: 3
• Forks: 7
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md

Awesome Lists containing this project

README

          
# 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](https://stackoverflow.com/questions/33112439/what-does-mean-in-haskell/33115522#33115522)