R
Траву вырвало с корнем.
Size: a a a
2020 December 06
YR
ну это натурально аномалия какая-то. Я странные мини-сталагмиты льда видел на Байкале только, из-за ветра, но тут что-то другое. Может там очень болотистая почва? Хотя все равно странно почему столбики такие
AG
обычное дело в начале зимы когда земля ещё теплая а воздух уже холодный
AV
ЭТА АПОКАЛИПСИС!!1111
R
Да, Пипкрейки
R
R
Раньше такой фигни не замечал. Но вблизи, живём, выглядит хорошо.
R
Раньше такой фигни не замечал. Но вблизи, живём, выглядит хорошо.
Но это только на газоне выросло, на обычной земле не повылезало.
YR
обычная наверно утрамбованная, "не дышит" )
DB
Что за волшебное слово refl в Agda? Смотрю, как чел доказывает свойства всякие, пишет свойство в типе, а на уровне терма просто refl и всё. Ответ: доказано
KV
Что за волшебное слово refl в Agda? Смотрю, как чел доказывает свойства всякие, пишет свойство в типе, а на уровне терма просто refl и всё. Ответ: доказано
Конструктор для пропозиционального равенства, когда его матчишь, система понимает, где чё равно и упрощает
DB
Капец, система понимает, я нет(
KV
Капец, система понимает, я нет(
Ну так это суть и есть
DB
Ну)
A
3 работы — $30
A
вот так ценят нынче хаскелиста
AV
Ну мало ли там каждая на 20 минут
A
возможно, да