scolobb
/
dds
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

utils.scrbl: Add the documentation for dotit.

This commit is contained in:
Sergiu Ivanov 2020-12-22 22:57:26 +01:00
parent 50f5e6e3c1
commit fe989ef8a7
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scribblings/utils.scrbl
View File

@ -208,7 +208,11 @@ produces from tables.
"((\"a\" . \"(and a b)\") (\"b\" . \"(or b (not a))\"))")
]}
@defproc[(dotit [graph Graph]) Void]{
Typeset the graph via graphviz and display it.
}
@section{Additional graph utilities}

1
utils.rkt
View File

@ -252,6 +252,5 @@
(check-equal? (hash-ref m2 'b) '(or b (not a)))
(check-equal? (hash-ref m3 'b) '(or b (not a)))))
;;; Typeset the graph via graphviz and display it.
(: dotit (-> Graph Void))
(define dotit (compose display graphviz))