Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

2020 May 20

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
что, неправда?
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
удачно, смешно
источник
2020 May 21

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
победил ебучую палочку
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
wandIntro : All (p ^*^ q :-> r) -> All (p :-> q ~* r)
wandIntro f pl = \sp, qr => f $ MkStar pl sp qr

wandCancel0 : All (p :-> q ~* r) -> All (p ^*^ q :-> r)
wandCancel0 f (MkStar pl sp qr) = f pl sp qr

wandCancel : All $ p ^*^ (p ~* q) :-> q
wandCancel (MkStar pl sp wr) = wr (splitComm sp) pl

wandMono : All (p :-> q) -> All (r :-> s) -> All (q ~* r :-> p ~* s)
wandMono pq rs wqr = \sp, pr => rs $ wqr sp (pq pr)

wandSelf : All $ Emp :-> p ~* p
wandSelf MkEmp = \sp, pr => rewrite splitRInv sp in pr

curryW : All $ (p ^*^ q) ~* r :-> p ~* (q ~* r)
curryW wpq_r = \sp1, pm, sp2, qr =>
 let (_ ** (sp3, sp4)) = splitAssoc sp1 sp2 in
 wpq_r sp3 (MkStar pm sp4 qr)

uncurryW : All $ p ~* (q ~* r) :-> (p ^*^ q) ~* r
uncurryW wpqr = \sp1, (MkStar pl sp2 qr) =>
 let (_ ** (sp3, sp4)) = splitUnassoc sp1 sp2 in
 wpqr sp3 pl sp4 qr

wandStar : All $ (p ~* q) ^*^ r :-> p ~* (q ^*^ r)
wandStar (MkStar pql sp1 rr) = \sp2, pr =>
 let (_ ** (sp3, sp4)) = splitUnassoc (splitComm sp2) sp1 in
 MkStar (pql (splitComm sp3) pr) sp4 rr
источник

o

odbc in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Alex Gryzlov
победил ебучую палочку
Оно?
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
odbc
Оно?
не, вот это
источник

a

aλeχknvl in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник

a

aλeχknvl in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
вот сижу и пытаюсь понять, почему мне так смешно от этого фрагмента
источник

a

aλeχknvl in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
у нас видимо очень особый юмор
источник

a

aλeχknvl in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
вот как объяснить американцу, в чем тут юмор?
источник

ℳr4k in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Но зачем?
источник

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
aλeχknvl
вот сижу и пытаюсь понять, почему мне так смешно от этого фрагмента
Это многослойная
источник

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Этот фрагмент можно рассматривать с контекстом и без
источник

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
В обоих случаях у шутки будет смысл
источник

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Скорее всего, художественный перевод, который не теряет словесной композиции, справится
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
aλeχknvl
вот как объяснить американцу, в чем тут юмор?
Контекст важен
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Без контекста тож ниоч смешно и заезжено
источник

a

aλeχknvl in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник

a

aλeχknvl in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
вспомнил еще
источник

a

aλeχknvl in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
надо будет еще особенности русской рыбалки пересмотреть
источник