Domain modeling of Mathematical sets.
This repository contains three alternatives to recursive Set construction:
- Object-oriented form using Set elements
- Sum-type form ("successor-terminus")
- Mixed OO and sum-type form
Form 3) allows simultanenous traversal as an object hierarchy or a sum-type tree.
Tests include examples of constructions and corresponding pattern-matching expressions.