feat: Allow writing holes which are solved by BRAT #26
Annotations
2 warnings
|
Run HLint:
brat/Brat/Checker/Helpers.hs#L253
Suggestion in getThunks in module Brat.Checker.Helpers: Redundant bracket ▫︎ Found: "(src, (ss :->> ts))" ▫︎ Perhaps: "(src, ss :->> ts)"
|
|
Run HLint:
brat/Brat/Checker/Helpers.hs#L260
Suggestion in getThunks in module Brat.Checker.Helpers: Redundant bracket ▫︎ Found: "(src, (ss :->> ts))" ▫︎ Perhaps: "(src, ss :->> ts)"
|
Loading