Discuss suggestions for Intro to SPARK course from #581
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 20/100
- Tipo di issue
- Documentazione
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Ambito
- documentation
Direzione di ricerca
Inizia esaminando la issue #581 e le fonti del corso Intro to SPARK a cui fa riferimento questa issue. Identifica i miglioramenti proposti e determina se la discussione raggiunge un ambito concordato; il lavoro sarà considerato completato quando sarà documentata una decisione su quali modifiche al corso portare avanti.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Suggestions from #581
- Lingua principale
- Ada
- Stelle
- 117
- Fork
- 49
- Merge medio
- 44m
- PR unite (30g)
- 8
Preparare l'ambiente
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di AdaCore/learn
-
Custom_fixed_point_range.adbApertaquestion
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 35/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
-
Inconsistent content between "Verification Method" and "Notes"Forse di nuovo libera @frank-at-adacore l’ha presa 871 giorni fa e non c’è nessuna pull request aperta. Aperta
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
Tutte le issue di AdaCore/learn
Issue simili
-
Docs: "Work with Codex from anywhere" page still claims Windows mobile support is "coming soon"Apertaapp documentation remote windows-os
Difficoltà 1/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
librepods-org/librepods#802 ·
I maintainer di solito rispondono entro 1 giorno
-
area:lint-tooling found-by:critic kind:docs-drift
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
InauguralSystems/EigenScript#1335 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 94/100
I maintainer di solito rispondono entro 1 giorno
-
technical-improvement
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
I maintainer di solito rispondono entro 4 giorni