fix-whitespace. Fixes whitespace issues

github.com/agda/fix-whitespace
by @agda

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.