Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Void/
Void
is an
initial object
of
Arrow
category
.
>
Null
:
Void
`AR`
Void
>
Fail
:
Void
`AR`
Void
>
None
:
Void
`P`
Unit
`AR`
Void
`P`
Unit