?

Log in

по-русски - язык, на котором не говорят [entries|archive|friends|userinfo]
beroal

[ website | personal website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]
[ tags | journal tags ]

по-русски [Jun. 1st, 2020|12:00 am]
beroal
[Tags|]

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

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

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

only Haskell (the programming language)

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

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

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


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

Comments:
[User Picture]From: twilight_sun
2008-07-25 06:44 am (UTC)
кто здесь? о_О
(Reply) (Thread)
[User Picture]From: beroal
2008-07-25 08:36 am (UTC)
Это мы, глюки.
(Reply) (Parent) (Thread)
[User Picture]From: twilight_sun
2008-07-25 08:56 am (UTC)
фигасе о_О
(Reply) (Parent) (Thread)
(Deleted comment)
(Deleted comment)
From: x_ghbdtn
2013-11-09 01:00 pm (UTC)
Какой ужос. Там действительно был подзамочный пост? Я в шоке =О Уже и не определить, что за пост, по какому поводу.
(Reply) (Parent) (Thread)