Skip to content
Check whitespace

Data.List.Base.reverse is self adjoint wrt Data.List.Relation.Binary.Subset.Setoid._⊆_ #261

Sign in to view logs

Data.List.Base.reverse is self adjoint wrt Data.List.Relation.Binary.Subset.Setoid._⊆_

Data.List.Base.reverse is self adjoint wrt Data.List.Relation.Binary.Subset.Setoid._⊆_ #261

Triggered via pull request May 3, 2024 14:00
@jamesmckinnajamesmckinna
synchronize #2378
jamesmckinna:reverse-self-adjoint
Status Success
Total duration 15s
Artifacts –

whitespace.yml

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