diff options
| author | stuebinm | 2022-03-19 21:32:02 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-19 21:32:02 +0100 |
| commit | 0032307c5868d56490ac1d968c986f8bab5a637b (patch) | |
| tree | 00aa97834e182e906712f1472bcd19bfa7c22852 /lib/KindLinter.hs | |
| parent | 80cc9d0f70e98ff9b8aa78c86891d4a9bb4759d5 (diff) | |
linter: some work on lints
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions