Skip to content
GitLab
Explore
Sign in
Register
Lab
Functional Programming
Issues
#13
Decker
Switch this to Decker (the toolstack Prof. Botsch uses)