Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Некто написал,
Re: Сохацкий порешал математиков
зачем углеродные ебанарии Воеводского
изобретают мою кубическую теорию типов
своими хуевыми символами?
И что это за унивалентный нахYй?

http://www.cs.cmu.edu/~ecavallo/works/unifying-cartesian.pdf

п.с.
Жорик дал дуба.
Печаль
__
wieiner_ - в этом дневнике


(Читать комментарии)

Добавить комментарий:Sorry, this entry already has the maximum number of comments allowed.