Skip to content

[ fix ] assumption name in Data.Product.Relation.Binary.Lex.Strict #2439

[ fix ] assumption name in Data.Product.Relation.Binary.Lex.Strict

[ fix ] assumption name in Data.Product.Relation.Binary.Lex.Strict #2439

Triggered via pull request February 27, 2026 11:33
Status Success
Total duration 56s
Artifacts

whitespace.yml

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