@wjv@mastodon.social
Joined: 10/17/2017
23
Followers
345
Following
Y = λf·(λx·f (x x)) (λx·f (x x))
wjv has no public lists
wjv has no activity yet