denotational-hardware icon indicating copy to clipboard operation
denotational-hardware copied to clipboard

Published 20 hours ago • verified publisher icon conal

Compact proofs in `Categorical.Laws`

Open conal opened this issue 3 years ago • 1 comments

... using the helpers in Categorical.Reasoning. Doing so will speed up loading and hopefully be easier to read.

conal avatar Jul 05 '21 19:07 conal

See Categorical.Comma.Raw for examples.

conal avatar Jul 05 '21 19:07 conal