Skip to content
Check whitespace

[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrelevant #2385

Sign in to view logs

[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrelevant

[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrelevant #2385

Triggered via pull request February 10, 2026 22:54
@jamesmckinnajamesmckinna
synchronize #2939
jamesmckinna:refactor-monus-suc
Status Success
Total duration 10s
Artifacts –

whitespace.yml

on: pull_request
check-whitespace
7s
check-whitespace
Fit to window
Zoom out
Zoom in