AlgebraicJulia/Catlab.jl

LaTeX pretty-printing of GATs

Aberta

#243 aberto em 24 de ago. de 2020

Ver no GitHubGuia do colaborador
 (1 comentário) (0 reação) (1 responsável)Julia (68 forks)batch import
GATsenhancementgood first issue

Métricas do repositório

Stars
 (706 estrelas)
Métricas de merge de PR
 (Mesclagem média 17d 19h) (2 fundiu PRs 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
Inspecione a macro @theory existente e a infraestrutura de pretty printing LaTeX no Catlab.jl, depois implemente dois estilos: notação linear estilo Cartmell e notação de árvore estilo dedução natural. Siga os exemplos do artigo de Sterling.
Pilha de tecnologia
julia
Domain
documentation
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.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Julia
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
70