Comment by papln
6 years ago
Structure is orthogonal to partiality.
Partiality is what you get when you choose you only accept one branch of a disjunctive structure.
6 years ago
Structure is orthogonal to partiality.
Partiality is what you get when you choose you only accept one branch of a disjunctive structure.
No comments yet
Contribute on Hacker News ↗