Nice tool with some bugs, e.g.
?- dotty_term([]).
resulted in:
Error: <stdin>:3: syntax error near line 3 context: >>> [ <<< ]
and
?- dotty_term('=>'(a,b)).
Error: bad label format <f> => |<a0> a|<a1> b
Nice tool with some bugs, e.g.
resulted in:
and
resulted in: