Навеяло

[deniok]

Навеяло последними обсуждениями в русскоязычном ФП community :)

Comments

[geniepro.livejournal.com]

на Эпиграме? э... неа... :о(
А Вы? :о)))

[deni-ok.livejournal.com]

Мы не ;)
Мы эпиграм даже поставить не смогли :)
Мы потом, когда времени побольше будет...

[kurilka.livejournal.com]

А что, оно даж ставится как-то особо хитро?

[geniepro.livejournal.com]

Я Эпиграм-то скомпилил без проблем, за каких-то 38 минут, а вот что дальше делать, так и не понял...
Вроде какой-то мод для емакса надо ставить, а я емакс понять не в силах...

[kurilka.livejournal.com]

Да ну давай, в емаксе всё относительно просто, если очень глубоко не копать...

[deni-ok.livejournal.com]

Там, вроде, только Xemacs подходит...

[deni-ok.livejournal.com]

Да нет, мне все с (X)Emacs недосуг разобраться....

[kurilka.livejournal.com]

Ууу...
Хотя там в картинках наверное этож всё рисуется, да?
А под винду-то хоть оно вообще ставится?

[deni-ok.livejournal.com]

Я так понял, что картинки LaTeX'ом, а двумерный синтаксис как-то так:

     (         !       (          !   (  n : Nat  !
data !---------! where !----------! ; !-----------!
     ! Nat : * )       !zero : Nat)   !suc n : Nat)

[nponeccop.livejournal.com]

У меня он такой двумерный синтаксис прямо в XEmacs рисовал, безо всяких украшательств

[deni-ok.livejournal.com]

Такой это какой?
Такой

     (         !       (          !   (  n : Nat  !
data !---------! where !----------! ; !-----------!
     ! Nat : * )       !zero : Nat)   !suc n : Nat)

или такой

?

[nponeccop.livejournal.com]

Нечто среднее. Первый, но с цветами как во втором :-)

[dying-sphynx.livejournal.com]

Хе, прикольно :)