You want to interact with this toot:
Apr 26, 2017, 00:06
Ryan B.W.
@ryanbw@mastodon.sdf.org
λf.λx.x
λf.λx.f x
λf.λx.f(f x)
λf.λx.f(f (f x))
0
Proceed to interact
Don't have an account? You can
sign up here