Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Boolean/
:
(
Stops
Unit
Unit
) ~ (
Maybe
Unit
) ~
(
Boolean
)
:
Supertype
(
Boolean
) ~ (
Unit
`S`
Unit
)
:
Objective
(
Boolean
) ~ (
Unit
`S`
Unit
)
Factoring through a
colimit
from
Arrow
into
Arrow
:
>
`la`
:
o
`RA_`
Unit
`AR_______`
o
`RA_`
Unit
`AR_______`
o
`RA_`
Boolean
Some related wrappers:
>
Boolean
:
Unit
`S`
Unit
`AR_____`
Boolean
i
>
True
:
Unit
`AR___`
Boolean
>
False
:
Unit
`AR__`
Boolean