MIT licensed by fix-whitespace was originally written by Nils Anders Danielsson as part of Agda 2 with contributions from Ulf Norell, Andrés Sicard-Ramírez, Andreas Abel, Philipp Hausmann, Jesper Cockx, Vlad Semenov, Liang-Ting Chen, and Artem Pelenitsyn.
Maintained by Andreas Abel, Liang-Ting Chen
This version can be pinned in stack with:fix-whitespace-0.1@sha256:80f8da1796f636a83424d8e0d72e0e3039e259431f2ce22fb3b116f5081f2fb5,3104

Module documentation for 0.1

Changes