Open gallais opened 5 years ago
Seeing how #17 fixes a lot of these, it would be nice to always keep the files clean.
Cf. https://github.com/agda/agda/tree/master/src/fix-agda-whitespace for how it's done in the agda repo.
Seeing how #17 fixes a lot of these, it would be nice to always keep the files clean.
Cf. https://github.com/agda/agda/tree/master/src/fix-agda-whitespace for how it's done in the agda repo.