KS
Я же попросил куда присылать...
Size: a a a
2020 May 15
K
Kirill Shelopugin
Я же попросил куда присылать...
По какой логике я тебя должен слушать ?
KS
По какой логике я тебя должен слушать ?
По сепарационной
KS
@clayrat а когда ответ будет
AG
через пару часов :)
AG
ну или если кто нибудь угадает
KS
Нижник должен угадать
AG
что-то не вижу его в подпищеках
KS
Бан + отписка, получается?
KS
Ебни ему дизлайк на видео бороды в отместку!
AG
ΛВ
Kirill Shelopugin
Ребят, я загадку придумал: что общего между сепарационной логикой и 3D-играми?
это что-то про ДНР и ЛНР?
ΙΤ
это что-то про ДНР и ЛНР?
про PHP
AG
это что-то про ДНР и ЛНР?
data Term : Ty -> Pred (List Ty) where
Var : All $ One a :-> Term a
Lam : All $ (a::) `turn` Term b :-> Term (a ~@ b)
App : All $ Term (a ~@ b) ^*^ Term a :-> Term b
TT : eps $ Term U
LetT : All $ Term U ^*^ Term a :-> Term a
Pair : All $ Term a ^*^ Term b :-> Term (Prod a b)
LetP : All $ Term (Prod a b) ^*^ (([b,a]++) `turn` Term c) :-> Term c
AG
торжество анальных ёлочек с глазками, как говорит уважаемый @jey_lee
ᛒ
эх придеца походу остальные части тоже читать
ᛒ
помню подобную штуку на скале над было запилить на воркшопе када ронином хуй пинал
ᛒ
типа акку не знаешь, на тебе акку и иди ебись чтоб знал акку
ᛒ
там тож на фсм хуячился аукцион