Skip to content
Ubuntu build

Implement ≤-total in terms of _≤?_ #4055

Sign in to view logs

Implement ≤-total in terms of _≤?_

Implement ≤-total in terms of _≤?_ #4055

test-stdlib

test-stdlib
succeeded Jan 30, 2025 in 38m 35s