О нас
Мы закрытый независимый фантомный клуб любителей математики и информатики, который организует лекции по теории типов, лямбда исчислению и прочей абстрактной чепухе на вписках.
Мы закрытый независимый фантомный клуб любителей математики и информатики, который организует лекции по теории типов, лямбда исчислению и прочей абстрактной чепухе на вписках.