Does the function
(#) x f = f x
similar to the unix pipe, does this have a common name/symbol, other than # which I just made up?
You can find it in the lens library as &.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With