← Back to context

Comment by zarzavat

1 day ago

That's a universe apart from real sum types with exhaustiveness checking and pattern matching.

0 comments

zarzavat

Reply

No comments yet

Contribute on Hacker News ↗