pred=\n.\f.\x.n(\g.\h.h(gf))(\u.x)(\u.u)

Blog Pause
Wed, 13 Sep 2017 19:53:39 GMT

I have a lot of stuff to do recently. So I will pause blogging until about November. See you then, hopefully!