ocaml/dune

dune init should support Coq projects

Ouverte

#7 087 ouverte le 15 févr. 2023

Voir sur GitHubGuide contributeur
 (7 commentaires) (0 réaction) (0 personne assignée)OCaml (478 forks)github user discovery
dune initgood first issuerocq

Métriques du dépôt

Stars
 (1 882 étoiles)
Métriques de merge PR
 (Merge moyen 1j 20h) (345 PRs mergées en 30 j)

Description

We should add two templates to dune init:

  1. A coq theory
  2. A coq plugin

Should be simple to do.

Guide contributeur

Direction de recherche
Étudiez le système de modèles dune init existant, puis créez deux nouveaux modèles : un pour une théorie Coq et un pour un plugin Coq, en suivant les motifs établis.
Stack technique
Aucun
Domaine
build systemdeveloper experience
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.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
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
Git
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75