( (ノード ノードに入ってくるエッジ) (出る先のノード 出るエッジ) ... )
「リストのリスト」の集合が一定の条件を満たすときに、それをグラフという、的な考え。ノードとエッジの扱い方が同等(どちらもリストの要素)。つまり、「エッジからエッジへのエッジ」的なことも可能。
((x bar) (y foo) ) ((y foo) (x bar) )
((x) (y foo) ) ((y foo) )
((x foo) (y foo) ) ((y foo) (x foo) )
foo = {x y z}
((x foo) (y foo) (z foo) ) ((y foo) (x foo) (z foo) ) ((z foo) (x foo) (y foo) )
{x y z} >- foo -> {u v}
((u foo)) ((v foo)) ((x) (u foo) (v foo) ) ((y) (u foo) (v foo) ) ((z) (u foo) (v foo) )
src/wiliki-server を使う。
(define (main args) (wiliki-main (make <wiliki> .... :image-urls '((#/^http:\/\/chart.apis.google.com/ allow)) )))
digraph{x->y[label=foo]}