Example of abstraction using methods with ???. Needs some systematic checks for missing implementations#100

Open

vkuncak wants to merge 2 commits intomainfrom vk/abstract-classes

+108

Commits on Aug 5, 2024

Example of using abstract classes. Requires stainless to detect when methods are abstract by way of containing ??? symbol
vkuncak
committed
Also made toSet non-abstract from the point of dotty
vkuncak
committed