AlgebraicJulia/Catlab.jl

LaTeX pretty-printing of GATs

Ouverte

#243 ouverte le 24 août 2020

Voir sur GitHubGuide contributeur
 (1 commentaire) (0 réaction) (1 personne assignée)Julia (68 forks)batch import
GATsenhancementgood first issue

Métriques du dépôt

Stars
 (706 étoiles)
Métriques de merge PR
 (Merge moyen 17j 19h) (2 PRs mergées en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Inspectez la macro @theory existante et l'infrastructure de pretty printing LaTeX dans Catlab.jl, puis implémentez deux styles : la notation linéaire style Cartmell et la notation arborescente style déduction naturelle. Suivez les exemples de l'article de Sterling.
Stack technique
julia
Domaine
documentation
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Julia
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70