git.iko.soy/Idris-dev
on master help sign in
Addition of a HLint configuration.
commit0ea1b72b98217c57369bd3ad7bb6acadce5ccf18 authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateTue 7 Jun 2016, 12:29 (10 years ago) parentfc3e88c
2 files changed+4
compare with master
unifiedsplit
HLint.hs+3 idris.cabal+1
HLint.hsnew file+3
@@ -0,0 +1,3 @@
1+-- HLint File
2+
3+import "hint" HLint.HLint
idris.cabal+1
@@ -91,6 +91,7 @@ Extra-source-files:
9191 Makefile
9292 config.mk
9393 stack.yaml
94+ HLint.hs
9495 man/idris.1
9596
9697 rts/*.c