Skip to content

Releases: agda/fix-whitespace

fix-whitespace v0.1

07 Aug 11:42

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

Choose a tag to compare

fix-whitespace 0.0.11 release

fix-whitespace v0.0.10

26 Nov 16:26
e593b4a

Choose a tag to compare

fix-whitespace 0.0.10 binary release

fix-whitespace 0.0.8

29 May 16:38
0036dc0

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

Choose a tag to compare

Supported GHC 8.10.7.

release-0.0.6

29 Jul 06:09
f2e69af

Choose a tag to compare

release-0.0.5

13 Oct 23:48
81b7e97

Choose a tag to compare