Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Commit c63c6d1

Browse files
committed
feat(order/closure): make closure operators implementable (#7608)
introduce `lower_adjoint` as a way to talk about closure operators whose input and output types do not match
1 parent 32b433d commit c63c6d1

File tree

1 file changed

+316
-85
lines changed

1 file changed

+316
-85
lines changed

0 commit comments

Comments
 (0)