Explore projects

Implementation of nominal types on the Sikkel (https://github.com/JorisCeulemans/sikkel) framework