ocaml/dune

dune init should support Coq projects

Aberta

#7.087 aberto em 15 de fev. de 2023

Ver no GitHubGuia do colaborador
 (7 comentários) (0 reação) (0 responsável)OCaml (478 forks)github user discovery
dune initgood first issuerocq

Métricas do repositório

Stars
 (1.882 estrelas)
Métricas de merge de PR
 (Mesclagem média 1d 20h) (345 fundiu PRs em 30d)

Description

We should add two templates to dune init:

  1. A coq theory
  2. A coq plugin

Should be simple to do.

Guia do colaborador

Direção de pesquisa
Estude o sistema de modelos dune init existente e crie dois novos modelos: um para uma teoria Coq e outro para um plugin Coq, seguindo os padrões estabelecidos.
Pilha de tecnologia
None
Domain
build systemdeveloper experience
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.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
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
Git
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
75