Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/phadej/boring
Boring and Absurd types
https://github.com/phadej/boring
Last synced: 11 days ago
JSON representation
Boring and Absurd types
- Host: GitHub
- URL: https://github.com/phadej/boring
- Owner: phadej
- Created: 2017-11-17T09:12:21.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2024-05-17T10:42:37.000Z (6 months ago)
- Last Synced: 2024-05-18T10:56:25.692Z (6 months ago)
- Language: Haskell
- Size: 69.3 KB
- Stars: 15
- Watchers: 4
- 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)