Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/mirror/

> mirror : i `AR___` i `P` ( i `AR___` i )

You can subtype mirror to Scope identity morphism:

> Scope `har` mirror : i `AT__` i