search

target / theta-idl

Define communication protocols between applications using algebraic data types.
Other
45 stars 9 forks source link

Configured HLS for linting + applied useful hlint suggestions #29

Closed TikhonJelvis closed 2 years ago

TikhonJelvis commented 2 years ago

I got haskell-language-server working for this repo with Nix. Since this automatically runs hlint, I then did three things:

  1. Set up hlint with a hlint.yaml file
  2. Fix all the suggestions that make sense
  3. Ignore the suggestions I don't like (in hlint.yaml)