Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Retry/

> Retry : World i `AR__` World `L` Maybe `T` _ `T` i > Retry : World i `AR__` World `L` Stops _ `T` _ `T` i

Repeats some computation until we get True/Exist/Valid value.