Blips

λx.xλp.λt.t(pλx0.λy.y)λf.λx0.pλx1.λy.yf(pλx1.λy.x1fx0)λx0.λy.x0 07:03 AM Feb 11th, 2023 from web
Favorite

Dear Blips visitor
Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.