Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
documentation:style_guide [2019-10-22 09:12] mh |
documentation:style_guide [2019-10-22 09:12] mh |
||
---|---|---|---|
Line 21: | Line 21: | ||
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 |