AlgebraicJulia/Catlab.jl

Pretty-printing of GAT presentations

Aperta

#546 aperta il 3 nov 2021

Vedi su GitHubGuida contributor
 (0 commenti) (0 reazioni) (0 assegnatari)Julia (68 fork)batch import
GATsenhancementgood first issue

Metriche repository

Star
 (706 stelle)
Metriche merge PR
 (Merge medio 17g 19h) (2 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Esplora l'attuale metodo show per le presentazioni GAT e la sintassi della macro @present. Implementa metodi show personalizzati che rispecchiano quella sintassi.
Tech stack
julia
Dominio
developer experiencedocumentation
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Juliabasic understanding of macros
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60