Murat Kasimov
More about me
Я language (β)
/Я language (β)/Behaviour/Enter/
This is an empty label, convenient to use with monoidal tensor transformations:
>
Enter
:
forall
t
i
.
t
i
`AR__`
t
i