GitHub repository: stefan-hoeck/idris-fix-whitespace
Primary language: Idris
Created: 2021-01-17T05:31:10Z
Description: Removes trailing whitespace from .idr files and makes sure they end with exactly one newline.