SK
с тапиром, кстати, прилично возни, чтобы все работало
Size: a a a
2021 May 22
KS
Ну они менее странными не становятся от этого. Я когда узнал, что разное поведение если post ставить до path или после - немножко удивился.
GP
бойлерплейта много, не имеет смвсла для пары ендпойнтов ето да
2021 May 23
AG
одолел проклятое упако
AG
Remark safe_seq:
forall (Q R: assertion) c' r,
(forall s, Q s -> upaco2 (safe_gen R) r c' s) ->
forall c s, safe Q c s -> paco2 (safe_gen R) r (c ;; c') s.
AG
надо как-то запомнить на будущее паттерн генерализации
AG
весь вечер мудохался
AG
у леруа в оригинале
Remark safe_seq:
forall (Q R: assertion) (c': com),
(forall s, Q s -> safe R c' s) ->
forall c s, safe Q c s -> safe R (c ;; c') s.
V
/pidor@SublimeBot
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!
V
/shipping@SHIPPERINGbot
S
V
/pidor@SublimeBot
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!
V
/pidor@SublimeBot
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!
V
/pidor@SublimeBot
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!
V
/pidor@SublimeBot