git.iko.soy/Idris-dev
on master help sign in
Addition of a HLint configuration.
0ea1b72Jan de Muijnck-Hughes
HLint.hsnew file+3
compare with master
unifiedsplit
@@ -0,0 +1,3 @@
1+-- HLint File
2+
3+import "hint" HLint.HLint
idris.cabal+1
@@ -91,6 +91,7 @@ Extra-source-files:
91 Makefile
91 Makefile
92 config.mk
92 config.mk
93 stack.yaml
93 stack.yaml
94+ HLint.hs
94 man/idris.1
95 man/idris.1
95
96
96 rts/*.c
97 rts/*.c