Skip to content
GitLab
Explore
Sign in
Haskell Substitution Stepper
substep
Issues
#1
Change project path from `code` to `substep` and simplify installation instructions accordingly.