Skip to content

[Add] Properties of rounding in Rational#2953

Draft
aortega0703 wants to merge 20 commits into
agda:masterfrom
aortega0703:rounding-properties
Draft

[Add] Properties of rounding in Rational#2953
aortega0703 wants to merge 20 commits into
agda:masterfrom
aortega0703:rounding-properties

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

Annotations

1 warning

The logs for this run have expired and are no longer available.