paolobrasolin/string-diagrams

CI creates TDS

paolobrasolin opened this issue · 0 comments

paolobrasolin commented

That's definitely unnecessary. Just pass the --no-tds flag to ctanify.