Skip to content

GitLab

Explore

Sign in

Sikkel Nominal

Project information

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

103 Commits
1 Branch
0 Tags

README

Created on

January 26, 2022

Copy SSH clone URLgit@git.ulyssis.org:operand/sikkel-nominal.git
Copy HTTPS clone URLhttps://gitlab.ulyssis.org/operand/sikkel-nominal.git

Loading