Type matching vs equality when sum types are involved

https://www.reddit.com/r/ProgrammingLanguages/comments/1mhgswn/type_matching_vs_equality_when_sum_types_are/

Reply to this note

Please Login to reply.

Discussion

No replies yet.