Der neue Dienst "GitLab am KIT" ist unter
gitlab.kit.edu
erreichbar.
Skip to content
GitLab
Explore
Sign in
sarah.grebing
ProofScriptParser
Wiki
linting
linting
· Changes
Page history
Update linting
authored
May 23, 2017
by
tk5165
Hide whitespace changes
Inline
Side-by-side
linting.md
View page @
8b94d3aa
...
...
@@ -34,4 +34,8 @@ Call to undefined function
# Rule 5
Call with wrong arguments
\ No newline at end of file
Call with wrong arguments
# Rule 6
Negation of
`match`
with a
`using`
clause.
\ No newline at end of file