agda/fix-whitespace

Fixes whitespace issues

语言：Haskell · GitHub 星标：11 · Fork：8

话题：formatter · sanitization · version-control · whitespace

在 GitHub 上查看原仓库