Skip to content

Releases: agda/agda-stdlib

v2.1.1

03 Sep 02:21
Compare
Choose a tag to compare

Compatibility release with Agda 2.7.0

Version 2.1

27 Jul 04:17
Compare
Choose a tag to compare
v2.1

Agda standard library version 2.1

Version 2.0

12 Dec 13:22
2b8fff1
Compare
Choose a tag to compare
v2.0

Agda standard library version 2.0

Version 1.7.3

13 Oct 01:07
Compare
Choose a tag to compare

A minor release to ensure compatibility with Agda 2.6.4

Version 1.7.2

01 Feb 02:06
Compare
Choose a tag to compare
  • In accordance with changes to the flags in Agda 2.6.3, all modules that previously used
    the --without-K flag now use the --cubical-compatible flag instead.

  • Updated the code using primFloatToWord64 - the library API has remained unchanged.

Version 1.7.1

22 Nov 17:11
Compare
Choose a tag to compare

A minor release to ensure that the library's Cabal file is now compatible with GHC 9.2

Version 1.7

20 Jun 03:53
Compare
Choose a tag to compare

Compatible with Agda 2.6.2

Version 1.6

22 Apr 02:13
Compare
Choose a tag to compare
v1.6

Agda standard library version 1.6

Version 1.5

26 Jan 02:04
Compare
Choose a tag to compare
v1.5

Agda standard library version 1.5

Version 1.4

18 Sep 02:31
Compare
Choose a tag to compare
v1.4

Agda standard library version 1.4