I
ну капец просто
Size: a a a
2020 October 27
I
не знаю, что с тобой не так
I
платят тебе неплохо
I
это стоит мучений
I
ну как мучений, мб где то ты не прав
AD
Во всякие coq/isabelle пока лезть не буду
Там проще чем в прологе, хуяк хуяк тактиками и работает
AD
А в прологе сложна долго конпилится
AD
Кста, в коке можно ооп
AD
Хорошее такое, чтобы забанить нарушение LSP можно было
I
что за кок?
I
cock?
AD
Coq
I
ну такое себе
I
так так и говори
I
сокью
AD
Петух
I
Петух
курочка
I
квохча
I
а петух это растлер
AD
Курочка это язык скриптовый кока