Wat we vanmiddag bedacht hebben

Ik weet niet zeker of dit texified, ben nog bezig met miktex.
Ik heb iets 'nieuws' bedacht

eigenlijk lijkt het best op dat van woensdag, maar ik denk dat het beter
is. Als deze definitie ok is, stell ik voor dat de rest van het projject
de volgende zijn:
- Het definieren van C basic
- Het definieren van een standaard voor ISO99 (of een kleinere taal?)
- in Coq laten zien dat onze nieuwe standaard voldoet aan C basic