Навеяло

[deniok]

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

Comments

[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]

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