В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

haskell_blah

257 membersпожаловаться на группу
2021 June 09

AG

Alex Gryzlov in haskell_blah
https://github.com/coq-contribs/goedel
GitHub
coq-community/goedel
The Gödel-Rosser 1st incompleteness theorem in Coq [maintainer=@Casteran] - coq-community/goedel
источник
15:18пожаловаться#1

a

a66ath in haskell_blah
источник
15:18пожаловаться#2

⁠

⁠ in haskell_blah
а, ну всё

значит точно работает
источник
15:18пожаловаться#3

С

Слава in haskell_blah
sticker.webp
(28.11 Кб)
источник
15:18пожаловаться#4

ХГ

Хаскелль Моисеевич Г... in haskell_blah
Здесь идёт картинка "а чо сразу Гитлер".
источник
15:21пожаловаться#5

ХГ

Хаскелль Моисеевич Г... in haskell_blah
Хайдингом занимаются?..
источник
15:22пожаловаться#6

LO

Leonid 🦇 Onokhov in haskell_blah
в утёсах
источник
15:22пожаловаться#7

AG

Alex Gryzlov in haskell_blah
пушаутами и пулбеками
источник
15:27пожаловаться#8

AC

Aliester Crowley in haskell_blah
источник
15:33пожаловаться#9

⁠

⁠ in haskell_blah
хайдингом импортов в хачкеле
источник
15:33пожаловаться#10

a

a66ath in haskell_blah
источник
15:36пожаловаться#11

A

Andrey in haskell_blah
чифир-чифирок, больше выпил - меньше срок!
источник
15:36пожаловаться#12

AK

Aleksey Kislitsa in haskell_blah
Она уже вышла? Или это в работе все еще книга?
источник
15:38пожаловаться#13

a

a66ath in haskell_blah
Вышла
источник
15:38пожаловаться#14

AK

Aleksey Kislitsa in haskell_blah
Супер, пошел за своей электронкой
источник
15:38пожаловаться#15

DF

Dollar Føølish in haskell_blah
брагилевский по доброму обьясняет там?
источник
15:44пожаловаться#16

DF

Dollar Føølish in haskell_blah
или как обычно в хаскеле
источник
15:44пожаловаться#17

С

Слава in haskell_blah
Для начала он зачем-то написал книгу на английском языке
источник
15:45пожаловаться#18

DF

Dollar Føølish in haskell_blah
а на каком надо
источник
15:45пожаловаться#19

AC

Aliester Crowley in haskell_blah
на эрзе
источник
15:45пожаловаться#20