ᛒ
эх ебучая корона
Size: a a a
2020 April 14
ᛒ
ниче купить незя
LP
это они мало красноглазят
AG
у меня бывает периодически если долго сидеть
DM
А вообще, есть какой-нибудь сборник более-менее правдоподобной, передовой информации медицинской по вирусу, или только и остаётся что "мнения слушать"?
на медаче делают иногда переводы папиров и статей наиболее свежих и правдоподобных
DM
зато теперь не д-тся
не дуется?
LP
не дуется?
не дерется.
Oℕ
AG
> parseNeu "(\\y.\\x.S <x []> : * -> * -> *) [`Z, `Z]"
Right (Cut (Ann (Lam "y" (Lam "x" (Succ (Emb (Var "x" []))))) (Imp A (Imp A A))) (Cons Zero (Cons Zero []))) : Either Error Neu
DM
челы а чо я один болею?
я болел, но хз чем и не так тяжело
AG
стыдно сказать но почти час убил на парсер лист-нотации
AG
в итоге переизобрел гийомовский длист-стайл парсинг
DM
но так обычно, типа чет поморозило немног и нормас
лихорадка топ симптом у нового
AG
arg : All (Box (Parser' Val) :-> Parser' Arg)
arg recv = alt (cmap Nil $ string "[]") $
between (char '[') (char ']') $
Combinators.map (flip apply Nil) $
chainl1
(alts [ cmap Inc $ char '$'
, tst recv
, map Cons $ rand (char '`') recv
])
(cmap (.) $ withSpaces $ char ',')
AK
у меня вот тоже красное и немного сеточка!
+++ 😱😱
ΛВ
Ака как понять, что ты репликант
DM
красное и белое, глаз или магазин
DM
Nokse Mojo (Москва) 2020 #digital_art