Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
documentation:style_guide [2019-10-22 09:12] mh |
documentation:style_guide [2019-10-22 09:14] mh |
||
|---|---|---|---|
| Line 18: | Line 18: | ||
| cypm update && cypm install stylechecker | cypm update && cypm install stylechecker | ||
| + | This installs the executable `curry-stylechecker` into the directory | ||
| + | `~/.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 | ||
| - | curry0stylecheck <Curry program> | + | curry-stylecheck <Curry program> |
| It should be noted that this tool checks only a small part of | It should be noted that this tool checks only a small part of | ||
