2016-10-04

juan_gandhi: (VP)
2016-10-04 08:17 am
Entry tags:

puzzle

For endomorphisms, 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.
juan_gandhi: (VP)
2016-10-04 03:33 pm
Entry tags:

язык философов

"Потом" по-немецки будет "данах".