Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
cousin_it
on June 25, 2015
|
parent
|
context
|
favorite
| on:
The Algebra of Algebraic data types
Maybe that part would've been easier with Bool and Unit. It's obvious that there is only one function from Bool to Unit, and two functions from Unit to Bool.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
