Не читал (дальше первого абзаца) и не подписывал ТОС. Путин и Медведев должны уйти в отставку, после всего, что наворотили за последние 5 лет, а репрессивное законодательство отменено, чем скорее тем лучше. Писать здесь (в ЖЖ) не буду и транслировать тоже, через некоторое время журнал удалю. Образовательный и прочий контент из ЖЖ скопирован на dreamwidth.org. Всем привет.

Написал
<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)):*">
получил


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