Commit 2021-05-21 00:33 c63c6d10
View on Github →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
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