по-русски

[beroal]

Добро пожаловать!

Для обратной связи пишите сюда комментарии. Если я не добавляю вас в друзья, это не значит, что я вас не читаю.

Поисковые системы на платформе Google Custom Search Engine:

OpenSearch plugin (то есть для Firefox) для поиска по:

• Hackage;
• nLab или ncatlab, wiki-энциклопедия, родившаяся из n-Category Café.

Математические доказательства на языке Coq. Всякая мелочь, среди крупных модулей можно выделить CategoryTheory, IntBipart (определение целых чисел), TakeDrop («take» и «drop» из Haskell.Data.List).

Лента выбранных мною из чужих блогов записей:

• Twitter;
• Diigo: RSS, HTML.

У меня есть личный веб-сайт.