Murat Kasimov
More about me
Я language (β)
/Я language (β)/Morphisms/basetype/
Arrow
and
Scope
morphism from an object to its
Basetype
:
>
basetype
:
i
`AR___`
Basetype
i
>
basetype
:
i
`AT___`
Basetype
i