О пользователе

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

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

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

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

Сообщества

Настроить S2

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



О пользователе
Ниже указана информация о пользователе Abu Idris. Если вы -- этот пользователь, вы можете отредактировать её (или выбрать, какую информацию показывать общественности) на странице Редактировать личную информацию.


Добавить этого пользователя в вашу ленту друзей  Список задач  Избранное:  Сообщить другу!  Поиск в этом дневнике
Пользователь:zhd (62784) zhd
Hinterland
Имя:Abu Idris
Интересы:5: agda, formal methods, functional programming, haskell, intuitionistic type theory. [Изменить ваши]
Друзья:
Люди2:hyperion, ljr_fif
Сообщества1:ljr_math
В друзьях у:3: ac10zzk, tiphareth, topos
Состоит в:1: ljr_math

(подробнее...)