Murat Kasimov
More about me
Я language (β)
/Я language (β)/Behaviour/Trace/
>
Trace
:
forall
t
i
.
i
`AR__`
I
`L`
Along
(
List
`T'I`
t
Unit
)
`T`
_
`T`
i