CakeML/cakeml

Implement make_ex in CakeML

Aperta

#380 aperta il 17 nov 2017

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)Standard ML (98 fork)auto 404
good first issuetooling

Metriche repository

Star
 (1169 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

Following #350 we now have a small SML program to generate the tutorial exercises, currently at tutorial/solutions/make_ex.sml. This issue is to re-implement this program in CakeML instead (including automatically generating the executable and using it in the relevant Holmakefile), in part to ensure our infrastructure is up to scratch.

The program might also be better in the developers directory, but that will depend on how the "build a CakeML program" aspect is handled.

Guida contributor

Direzione di ricerca
Studia il programma make ex.sml esistente in tutorial/solutions, quindi impara come scrivere e compilare un programma CakeML e infine integra l'eseguibile generato nel Holmakefile.
Tech stack
Nessuno
Dominio
toolingbuild system
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
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
Standard MLCakeMLHolmake
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40