Size: a a a

2020 December 06

R

Roman in haskell_blah
Траву вырвало с корнем.
источник

YR

Yuki Rito in haskell_blah
ну это натурально аномалия какая-то. Я странные мини-сталагмиты льда видел на Байкале только, из-за ветра, но тут что-то другое. Может там очень болотистая почва? Хотя все равно странно почему столбики такие
источник

AG

Alex Gryzlov in haskell_blah
источник

AG

Alex Gryzlov in haskell_blah
обычное дело в начале зимы когда земля ещё теплая а воздух уже холодный
источник

AV

Alexander Vershilov in haskell_blah
ЭТА АПОКАЛИПСИС!!1111
источник

YR

Yuki Rito in haskell_blah
источник

R

Roman in haskell_blah
Да, Пипкрейки
источник

R

Roman in haskell_blah
источник

R

Roman in haskell_blah
Раньше такой фигни не замечал. Но вблизи, живём, выглядит хорошо.
источник

R

Roman in haskell_blah
Roman
Раньше такой фигни не замечал. Но вблизи, живём, выглядит хорошо.
Но это только на газоне выросло, на обычной земле не повылезало.
источник

YR

Yuki Rito in haskell_blah
обычная наверно утрамбованная, "не дышит" )
источник

DB

Danil Berestov in haskell_blah
Что за волшебное слово refl в Agda? Смотрю, как чел доказывает свойства всякие, пишет свойство в типе, а на уровне терма просто refl и всё. Ответ: доказано
источник

KV

Kirill Valyavin in haskell_blah
Danil Berestov
Что за волшебное слово refl в Agda? Смотрю, как чел доказывает свойства всякие, пишет свойство в типе, а на уровне терма просто refl и всё. Ответ: доказано
Конструктор для пропозиционального равенства, когда его матчишь, система понимает, где чё равно и упрощает
источник

DB

Danil Berestov in haskell_blah
Капец, система понимает, я нет(
источник

KV

Kirill Valyavin in haskell_blah
Danil Berestov
Капец, система понимает, я нет(
Ну так это суть и есть
источник

DB

Danil Berestov in haskell_blah
Ну)
источник

A

Andrey in haskell_blah
3 работы — $30
источник

A

Andrey in haskell_blah
вот так ценят нынче хаскелиста
источник

AV

Alexander Vershilov in haskell_blah
Ну мало ли там каждая на 20 минут
источник

A

Andrey in haskell_blah
возможно, да
источник