Как меня похитить

как меня похитить mIxso := Val -> Val mIxso := eval := eval r o h $ Sigma 5 Lam "a" "u" $ Sigma 5 Lam "f" (Pi (Lam "a" b) $ s Sigma 5 Lam "p" (Pi (Lam "b" a) $ s Sigma 5 Lam "s" (Pi (Lam "b" vv) $ Pi (Lam "x" g $ Path (Lam (Name where [a,b,f,g,x,y] = map Var ["a","b"] emptyEnv)

На изображении показан открытый деревянный сундук или ящик с верёвкой, а сверху написано «как меня похитить». Внутри находится бессмысленный фрагмент программного кода, поэтому шутка высмеивает ситуацию, когда человека можно «похитить» только сложным кодом или специфическим интересом; мем используют как абсурдную реакцию на странное увлечение. EN: The image shows an open wooden chest or box with a rope, topped with the caption “how to kidnap me.” Inside is a nonsensical fragment of programming code, so the joke mocks the idea that someone could be “kidnapped” only with complicated code or a highly specific interest; the meme is used as an absurd reaction to an unusual obsession.

• @profunctor_io / 2188 2019-05-13