ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-11 08:55:23 +03:00
Code Issues Projects Releases Wiki Activity
10,023 Commits 4 Branches 42 Tags 40 MiB
master
Commit Graph

1 Commits

Author SHA1 Message Date
Niklas Larsson
372560bef3 Use new HLint config file. 
Ignore a couple of unhelpful diagnostics.
 2018-03-31 14:24:26 +02:00