Skip to content

Merge branch 'master' of github.com:agda/agda-stdlib into rounding-pr…

50a0707
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

[Add] Properties of rounding in Rational #2953

Merge branch 'master' of github.com:agda/agda-stdlib into rounding-pr…
50a0707
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Haskell-CI - Linux - ghc-9.2.8
succeeded Mar 18, 2026 in 1m 52s