ocaml/dune

dune init should support Coq projects

Aperta

#7087 aperta il 15 feb 2023

Vedi su GitHubGuida contributor
 (7 commenti) (0 reazioni) (0 assegnatari)OCaml (478 fork)github user discovery
dune initgood first issuerocq

Metriche repository

Star
 (1882 stelle)
Metriche merge PR
 (Merge medio 1g 20h) (345 PR mergiate in 30 g)

Descrizione

We should add two templates to dune init:

  1. A coq theory
  2. A coq plugin

Should be simple to do.

Guida contributor

Direzione di ricerca
Studia il sistema di modelli dune init esistente, quindi crea due nuovi modelli: uno per una teoria Coq e uno per un plugin Coq, seguendo i pattern stabiliti.
Tech stack
Nessuno
Dominio
build systemdeveloper experience
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75