Oℕ
обожаю языки с названием БОЛЬШЫМИ БУКВАМИ
Size: a a a
2020 August 28
AK
Дело не в размере кода на COQ, а в умении им пользоваться
Oℕ
сразу валую чувствуется
w
сразу валую чувствуется
Эх, сча бы чувствуется
Oℕ
например SML ентерпрайз язык
Oℕ
Дело не в размере кода на COQ, а в умении им пользоваться
смщно
Oℕ
Дело не в размере кода на COQ, а в умении им пользоваться
@AntonTrunov ваша оценка
A
Дело не в размере кода на COQ, а в умении им пользоваться
Oℕ
@clayrat ты ща регулярно на ссрефлекте хреначиш?
ᛒ
POOP/AL/SSA
AT
@AntonTrunov ваша оценка
чем меньше кода на Coq, тем лучше у вас кок-фу
λ
чем меньше кода на Coq, тем лучше у вас кок-фу
кода - это окончание музыкального произведения?
AT
кода - это окончание музыкального произведения?
<шутка про приватный скрипичный ключ>
AT
Ребзя, я тут жене думаю япад с ручкой взять) насколько говно затея?
норм ты же скалист и богач
Oℕ
кода - это окончание музыкального произведения?
нет, это восклицание, дуальное к "да"
λ
<шутка про приватный скрипичный ключ>
ты знаешь что наколка скрипичного ключа означает?
AT
ты знаешь что наколка скрипичного ключа означает?
гомосексуалист-классик?
AS
гомосексуалист-классик?
ᛒ
гомосексуалист-классик?
AT
а никто и не судит)