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