DM
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
454 membersпожаловаться на группу
2019 December 20
Oℕ
Kirill Shelopugin
Конечно Олег добр, он умнич, всё из лекций понимает. А что остаётся делать тупым, непонятно
Если бы ты попробовал посмотреть, убедился бы
GP
Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Я бы сказал, что это Proof management system. Там ужи несколько языков и тулинг вокруг этого
Д
GP
Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
обычно под коком как языкое говорят о галлине
AT
обычно под коком как языкое говорят о галлине
Но можно и о Галине
Oℕ
Я бы сказал, что это Proof management system. Там ужи несколько языков и тулинг вокруг этого
Исходный файл .v - что это? Исходный файл на возможно четырёх языках?
DM
Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
обычно под коком как языкое говорят о галлине
вот бы на галлине написать под спарк
AT
Исходный файл .v - что это? Исходный файл на возможно четырёх языках?
Ага)
GP
Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
вот бы на галлине написать под спарк
на глине бы писать спарк
AT
О количестве языков даже ключевые разработчики спорят))
DM
Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
на глине бы писать спарк
это и сейчас получается
w
welcometotheclubbuddy in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
это и сейчас получается
Эх, сча бы получается
Oℕ
Грустно, что нельзя считать все эти языки подмножествами кока
AT
на глине бы писать спарк
Только если это премиум
GP
Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Только если это премиум
+
DM
Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Glina language
блин, шикарное название, надо будет заиспользовать для чего-нить
AT
Недавно был митинг кок девов, был там и Джо Бакуни, собирается в экстрактор Кока вмержить Скалу
Oℕ
Недавно был митинг кок девов, был там и Джо Бакуни, собирается в экстрактор Кока вмержить Скалу
главное, чтобы это не была генерация скалы 2