ᛒ
благодаря витале я выжил в скале
хохол спас тя
Size: a a a
2020 July 24
ZM
виталити - это когда в мортал комбат тебя добивает боринг лайф
R
виталити - это когда в мортал комбат тебя добивает боринг лайф
написал как хреновая шутка из паблика для геймеров
ZM
написал как хреновая шутка из паблика для геймеров
один из вариантов виталити
AG
axiomK : Term d g (Box (a ~> b) ~> Box a ~> Box b)
axiomK = Lam $ Lam $ Cut (Var (There Here) Nil) $
BoxL $
Cut (Var Here Nil) $
BoxL $
Shut $ Cut (MVar (There Here) Nil) $
Cons (MVar Here Nil) Nil
axiomT : Term d g (Box a ~> a)
axiomT = Lam $ Cut (Var Here Nil) $ BoxL $ MVar Here Nil
axiom4 : Term d g (Box a ~> Box (Box a))
axiom4 = Lam $ Cut (Var Here Nil) $ BoxL $ Shut $ Shut $ MVar Here Nil
w
axiomK : Term d g (Box (a ~> b) ~> Box a ~> Box b)
axiomK = Lam $ Lam $ Cut (Var (There Here) Nil) $
BoxL $
Cut (Var Here Nil) $
BoxL $
Shut $ Cut (MVar (There Here) Nil) $
Cons (MVar Here Nil) Nil
axiomT : Term d g (Box a ~> a)
axiomT = Lam $ Cut (Var Here Nil) $ BoxL $ MVar Here Nil
axiom4 : Term d g (Box a ~> Box (Box a))
axiom4 = Lam $ Cut (Var Here Nil) $ BoxL $ Shut $ Shut $ MVar Here Nil
Мне нужно что бы я мог в notepad'e читать комфортно
AG
как вам такое илоны маски
AG
секвенции для S4
R
а что такое с4
AG
классическая интерпретация бокса это метакод
AG
логика для макросов короч
R
If p is necessarily true then it is necessarily necessarily true.
AT
виталити - это когда в мортал комбат тебя добивает боринг лайф
Это бруталити
AG
If p is necessarily true then it is necessarily necessarily true.
ну тип ты можешь наворачивать макросы произвольной глубины