AlgebraicJulia/Catlab.jl

Pretty-printing of GAT presentations

Open

#546 opened on Nov 3, 2021

 (0 comments) (0 reactions) (0 assignees)Julia (68 forks)batch import
GATsenhancementgood first issue

Repository metrics

Stars
 (706 stars)
PR merge metrics
 (Avg merge 17d 19h) (2 merged PRs in 30d)

Description

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.

Contributor guide