agda-stdlib-0.9 - v2.3

- Agda
Published by MatthewDaggitt 7 months ago

agda-stdlib-0.9 - v2.2

- Agda
Published by MatthewDaggitt about 1 year ago

agda-stdlib-0.9 - v2.1.1

Compatibility release with Agda 2.7.0

- Agda
Published by MatthewDaggitt over 1 year ago

agda-stdlib-0.9 - Version 2.1

- Agda
Published by MatthewDaggitt over 1 year ago

agda-stdlib-0.9 - Version 2.0

- Agda
Published by MatthewDaggitt about 2 years ago

agda-stdlib-0.9 - Version 1.7.3

A minor release to ensure compatibility with Agda 2.6.4

- Agda
Published by MatthewDaggitt over 2 years ago

agda-stdlib-0.9 - Version 1.7.2

• 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.

- Agda
Published by MatthewDaggitt about 3 years ago

agda-stdlib-0.9 - Version 1.7.1

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

- Agda
Published by MatthewDaggitt over 4 years ago

agda-stdlib-0.9 - Version 1.7

Compatible with Agda 2.6.2

- Agda
Published by MatthewDaggitt over 4 years ago

agda-stdlib-0.9 - Version 1.6

- Agda
Published by MatthewDaggitt almost 5 years ago

agda-stdlib-0.9 - Version 1.5

- Agda
Published by MatthewDaggitt about 5 years ago

agda-stdlib-0.9 - Version 1.4

- Agda
Published by MatthewDaggitt over 5 years ago

agda-stdlib-0.9 - Version 1.3

- Agda
Published by MatthewDaggitt almost 6 years ago

agda-stdlib-0.9 - Version 1.2

- Agda
Published by MatthewDaggitt about 6 years ago

agda-stdlib-0.9 - Version 1.1

- Agda
Published by MatthewDaggitt about 6 years ago

agda-stdlib-0.9 - Version 1.0

- Agda
Published by MatthewDaggitt almost 7 years ago