Murat Kasimov
More about me
Я language (β)
/Я language (β)/Behaviour/Range/
>
Range
:
forall
t
i
.
i
`AR__`
I
`L`
t
`T`
_
`T`
i
This label gives you an ability to use
scrolling
version of a datastructure in
co-Kleisli
morphism:
>
[
A
,
B
,
C
]
`kyo`
Range
=
[
[
A
]
,
B
,
C
]
,
[
A
,
[
B
]
,
C
]
,
[
A
,
B
,
[
C
]
]
]