Y
Hacker News
new
|
ask
|
show
|
jobs
by
kd0amg
1705 days ago
Recursive sum-of-products types also let you do things that sums and products alone cannot.