I hereby claim:
- I am derfshaya on github.
- I am derfshaya (https://keybase.io/derfshaya) on keybase.
- I have a public key ASBG3400s_1TrYYJ8Jf1aDqMo93fOifV8fmcD57MNdwLggo
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
(λy.y (λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) (λt.t (λf.λx.f x) (λf.λx.f x)) (λf.λg.g)) (λf.λx.f (f (f x))) | |
(λf.λx.f (f (f x))) (λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) (λt.t (λf.λx.f x) (λf.λx.f x)) (λf.λg.g) | |
(λx.(λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) ((λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) ((λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) x))) (λt.t (λf.λx.f x) (λf.λx.f x)) (λf.λg.g) | |
(λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) ((λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) ((λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) (λt.t (λf.λx.f x) (λf.λx.f x)))) (λf.λg.g) | |
(λt.t (((λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) ((λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) (λt.t (λf.λx.f x) (λf.λx.f x)))) (λf.λg.g)) (λs.λx.((λp.λt.t (p (λf.λg.g)) (λs.λx.p (λf.λg.f) s (p (λf.λg.g) s x))) ((λp.λt.t (p (λf.λg.g)) (λs.λ |
1 | |
00:00:00,000 --> 00:00:32,000 | |
Past Headlines... | |
2 | |
00:00:32,100 --> 00:00:35,200 | |
Hello Audience, thank you for watching Economics Half Hour. | |
I am Ma Hongtao. | |
3 |