Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Boolean/
:
(
Stops
Unit
Unit
) ~ (
Maybe
Unit
) ~
(
Boolean
)
:
Supertype
(
Boolean
) ~
Objective
(
Boolean
) ~ (
Unit
`S`
Unit
)
Factoring through a
colimit
from
Arrow
into
Arrow:
`la`
:
Unit
`AR`
o
`AR___`
Unit
`AR`
o
`AR__`
Boolean
`AR`
o