Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
documentation:style_guide [2019-10-22 09:14] mh |
documentation:style_guide [2019-10-22 09:15] mh |
||
---|---|---|---|
Line 18: | Line 18: | ||
cypm update && cypm install stylechecker | cypm update && cypm install stylechecker | ||
- | This installs the executable `curry-stylechecker` into the directory | + | This installs the executable ''curry-stylechecker'' into the directory |
- | `~/.cpm/bin` (which should be added to your path). | + | ''~/.cpm/bin'' (which should be added to your path). |
After the successful installation, | After the successful installation, | ||
the style checker which can be invoked by the command | the style checker which can be invoked by the command |