Explore projects

Files for the VFI workshop given at Fri3d Camp 2022

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