AlgebraicJulia/Catlab.jl

Pretty-printing of GAT presentations

Open

#546 opened on 2021年11月3日

GitHub で見る
 (0 comments) (0 reactions) (0 assignees)Julia (68 forks)batch import
GATsenhancementgood first issue

Repository metrics

Stars
 (706 stars)
PR merge metrics
 (30d に merged PR はありません)

説明

It is an embarrassing state of affairs that after so long, we still have the default show method for presentations, which is unreadable. We should implement custom show methods, one of which might mirror the syntax used in the @present macro.

コントリビューターガイド