Flonk

λf . (λx . f (x x)) (λx . f (x x))

Pinned Repositories

Flonk's Repositories