On: An Opinionated Treatise on Cosmos, a New Programmi...

[ajuc]

Isn't it a little useless?

I would think if would work better if it was transformed into implication.

    if (p)
        q

would be

    (p => q)

and

    if p
       q
    else
       r

would be

   (p=>q) and (~p => r)

Anyway, not my language.