Skip to content

Version 1.7.2

Choose a tag to compare

View all tags
@MatthewDaggitt MatthewDaggitt released this 01 Feb 02:06
· 804 commits to master since this release
v1.7.2
b2e6385

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

Assets 2
Loading