lambda icon indicating copy to clipboard operation
lambda copied to clipboard

Published 20 hours ago • verified publisher icon 71104

Algebraic data types?

Open 71104 opened this issue 8 years ago • 0 comments

The ability to define types and values by structural induction would be extremely useful in many use cases.

71104 avatar May 30 '16 21:05 71104