AlgebraicJulia/Catlab.jl

LaTeX pretty-printing of GATs

Open

#243 aberto em 24 de ago. de 2020

Ver no GitHub
 (1 comment) (0 reactions) (1 assignee)Julia (68 forks)batch import
GATsenhancementgood first issue

Métricas do repositório

Stars
 (706 stars)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

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.

Guia do colaborador

Direção de pesquisa
Examine a saída LaTeX existente no Catlab.jl para construções semelhantes (por exemplo, teorias). Estude a notação para GATs no artigo referenciado. Implemente primeiro a notação linear no estilo Cartmell adaptando a sintaxe da macro `@theory`, depois aborde a notação de árvore de dedução natural, possivelmente usando utilitários de formatação de árvore existentes. Considere aproveitar MathJax/KaTeX para renderização.
Pilha de tecnologia
None
Domain
documentationtooling
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Antigo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Familiarity with JuliaUnderstanding of GATsKnowledge of LaTeX formatting
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
35