AlgebraicJulia/Catlab.jl

LaTeX pretty-printing of GATs

Offen

#243 geöffnet am 24.08.2020

Auf GitHub ansehenContributor Guide
 (1 Kommentar) (0 Reaktionen) (1 zugewiesene Person)Julia (68 Forks)batch import
GATsenhancementgood first issue

Repository-Metriken

Stars
 (706 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 17T 19h) (2 gemergte PRs in 30 T)

Beschreibung

Pretty-print GATs as LaTeX in both of the following styles:

  1. Cartmell-style linear notation

  2. natural-deduction-style tree notation

The examples above depict the theory of monoids and are taken from Sterling's paper Algebraic type theory and universe hierarchies.

The first style is similar to the syntax of our @theory macro and should be easily ported to MathJax/KaTeX, while the second style is harder to typeset but beloved by type theorists.

Contributor Guide

Research-Richtung
Untersuche das vorhandene @theory Makro und die LaTeX Pretty Printing Infrastruktur in Catlab.jl, implementiere dann zwei Stile: die lineare Notation im Cartmell Stil und die Baumnotation im Stil der natürlichen Deduktion. Folge den Beispielen aus Sterlings Paper.
Tech Stack
julia
Domain
documentation
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Julia
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
70