Skip to content

Issues: agda/fix-whitespace

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Support GHC 9.12
#64 opened Oct 17, 2024 by andreasabel
4 tasks done
Performance problem with error message feature error reporting Concering errors reported by fix-whitespace performance
#48 opened Feb 17, 2023 by andreasabel 0.1
Report error when file does not end with a newline character error reporting Concering errors reported by fix-whitespace
#47 opened Feb 17, 2023 by andreasabel 0.1
ProTip! Add no:assignee to see everything that’s not assigned.