О нас

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