![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhiFor endomorphisms,
Just can't figure out the consequences out of this simple representation.
eval: X × XX → X can be rewritten as X(1+X) → X, or, in code, as (Option[X] → X) → X - almost like Y in ML.Just can't figure out the consequences out of this simple representation.
