Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Boolean/
:
(
Stops
Unit
Unit
) ~ (
Maybe
Unit
) ~
(
Boolean
)
:
Supertype
(
Boolean
) ~ (
Unit
`S`
Unit
)
>
Boolean
:
Unit
`S`
Unit
`AR_____`
Boolean
i
>
True
:
Unit
`AR___`
Boolean
>
False
:
Unit
`AR__`
Boolean