про ЖЖ

Apr. 4th, 2017 09:50 am
deniok: (Default)
Не читал (дальше первого абзаца) и не подписывал ТОС. Путин и Медведев должны уйти в отставку, после всего, что наворотили за последние 5 лет, а репрессивное законодательство отменено, чем скорее тем лучше. Писать здесь (в ЖЖ) не буду и транслировать тоже, через некоторое время журнал удалю. Образовательный и прочий контент из ЖЖ скопирован на dreamwidth.org. Всем привет.
deniok: (ржунимагу)
Вся френдлента состоит из повторений одного перепоста:

Внимание, жж взломан, поставлен фишинг...

Этим постом разбавляю всеобщий алармизм.
deniok: (Default)
Написал
<img src="http://www.codecogs.com/eq.latex? A:*,P:A\rightarrow *\ \vdash\ (\lambda a:A\ \lambda x:Pa\,.\,x):(\Pi a:A\,.\,(Pa\rightarrow Pa)):*">
получил


Потирает руки и мурлычет :)

ЖЖ

Sep. 15th, 2007 06:07 pm
deniok: (ухмыляюсь)
Если пытаться указать тип выражения в Haskell
::
забыв переключить раскладку, выходит
ЖЖ

Чтобы это значило?

Profile

deniok: (Default)
deniok

April 2017

S M T W T F S
      1
23 45678
9101112131415
16171819202122
23242526272829
30      

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 24th, 2017 03:09 am
Powered by Dreamwidth Studios