Skip to content

Releases: agda/fix-whitespace

fix-whitespace v0.1

07 Aug 11:42
Compare
Choose a tag to compare

v0.1 Rainy Summer edition released 2023-08-07

  • Flag --verbose now also displays locations of whitespace violations
    (#7, contributed by Artem Pelenitsyn).
  • Tested with GHC 8.0.2 - 9.8.1-alpha1.

What's Changed (auto-generated)

New Contributors

Full Changelog: v0.0.11...v0.1

fix-whitespace v0.0.11

05 Dec 23:38
Compare
Choose a tag to compare
fix-whitespace 0.0.11 release

fix-whitespace v0.0.10

26 Nov 16:26
e593b4a
Compare
Choose a tag to compare
fix-whitespace 0.0.10 binary release

fix-whitespace 0.0.8

29 May 16:38
0036dc0
Compare
Choose a tag to compare
  • New option --version displaying program version.
  • Bump base and text dependencies.
  • Updated stack build: GHCs 8.10.7, 9.0.2, 9.2.2
  • Tested with GHC 8.0.2 - 9.4.1 alpha.

release-0.0.7

23 Sep 02:49
Compare
Choose a tag to compare

Supported GHC 8.10.7.

release-0.0.6

29 Jul 06:09
f2e69af
Compare
Choose a tag to compare

release-0.0.5

13 Oct 23:48
81b7e97
Compare
Choose a tag to compare