gentoo.mahdi.cz
dev-haskell
:fix-agda-whitespace
Fixes whitespace issues for Agda sources
https://hackage.haskell.org/package/fix-agda-whitespace
fix-agda-whitespace-0.0.4
MIT
download
~amd64
haskell