AlgebraicJulia/Catlab.jl

Pretty-printing of GAT presentations

Open

#546 opened on Nov 3, 2021

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Julia (706 stars) (68 forks)batch import
GATsenhancementgood first issue

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

Tech stack
None
Domain
developer experience
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
Julia programming languagebasic understanding of Julia's show functionfamiliarity with Catlab.jl's GAT presentations
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
70
Research direction
Investigate the @present macro to understand the syntax used for presentations. Then locate the default show method for presentations and modify it to produce similar readable output. Key files to examine are likely in the `src/` directory, such as `src/core/` or `src/presentations.jl`. Look for existing custom show methods in the repository for reference.