Skip to content
GitLab
Explore
Sign in
Nathan PERIER
minichamo
Issues
#13
Propagation in user types specifications