![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
LaTeX в ЖЖ
Написал
<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)):*">
получил
:(\Pi%20a:A\,.\,(Pa\rightarrow%20Pa)):*)
Потирает руки и мурлычет :)
<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)):*">
получил
Потирает руки и мурлычет :)
Re: неубедительно
Re: неубедительно
Сейчас можно только догадываться.
Но получалось приикольно !
Re: неубедительно
Паапрашу!
Один товарищ, взяв мой конспект по, кажись, социологии (или другой какой-то лженауке), сказал, что мне следует писать архиваторы. Конспект занимал три листа, но при этом содержал всё.
Это, конечно, не идеал, но ИМХО близко.