R
я сегодня запек большого лаврака
я вчера запек кучу овощей. Пока что очень рекомендую печеный лук
Size: a a a
2021 January 14
λ
я вчера запек кучу овощей. Пока что очень рекомендую печеный лук
Лук збс
R
Лук збс
вот бы найти клуб любителей лука
s
Луковичники вс чесночники
λ
чеснок тоже збс
V
я вчера запек кучу овощей. Пока что очень рекомендую печеный лук
Индржих?
AT
ℳr4k
> In line with the tradition laid down by the evolution from C to C++, the next generation language based on Coq shall be called succ Coq
свежая шутка!
ℳ
свежая шутка!
я старался
AT
чеснок тоже збс
ваши комментарии про порей?
AT
ℳr4k
я старался
это сразу видно
R
Vasiliy
Индржих?
каво
Oℕ
А в ссрефлекте то +1
Oℕ
AT
А в ссрефлекте то +1
.+1
AT
что же теперь
придется порефлексировать над этим
Oℕ
Coq.+1 норм язык
Oℕ
придется порефлексировать над этим
succ
λ
ваши комментарии про порей?
Порей редко ем
AT
Порей редко ем
очень хорошо его тушить в белом вине