Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/he/

`he` - [H]om [E]licit | precedence - 0 `he` : into i ( Supertype i )

You cannot use this operator standalone, only in operator composites.

Standalone version is called he'hv operator.

It's an infix version of unwrap morphism.