fix-whitespace
Fixes whitespace issues.
https://github.com/agda/fix-whitespace
Stackage Nightly 2021-04-19: | 0.0.5 |
Latest on Hackage: | 0.0.5 |
Maintained by Liang-Ting Chen
This version can be pinned in stack with:
fix-whitespace-0.0.5@sha256:607c83e2bf32adfdd073ab8891f4bda1614b1ea65de21833e2c5395df97457b3,1940
Module documentation for 0.0.5
There are no documented modules for this package.
Depends on 7 packages(full list with versions):