GP
Size: a a a
2020 November 15
GP
да прост работать нихуя не будет
R
или ваще трапов
GP
баги архитектурные еще
GP
короч насмотримся дерьма
AT
прост 15 слишком здоровый чтоб его таскать везде, а для повседневной работы -- слишком маленький
Ты просто слаб
AT
AT
ты меня раскусил
AT
ты меня раскусил
Ты что, семечка?
λ
@AntonTrunov подозреваю, что coq на арме работает
AT
@AntonTrunov подозреваю, что coq на арме работает
Так же как и на x86
λ
Так же как и на x86
умная мысль
GP
Ты что, семечка?
Орех
AT
Ты что, семечка?
браво!
AT
@AntonTrunov подозреваю, что coq на арме работает
окамль уже в бете работает, но coq пока не тестировали на других архитектурах (по крайней мере у нас в сиай не тестируется)
λ
окамль уже в бете работает, но coq пока не тестировали на других архитектурах (по крайней мере у нас в сиай не тестируется)
Ну так попробуйте