Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
README.md		README.md
proiect_semantica		proiect_semantica
proiect_sintaxa.v		proiect_sintaxa.v

Repository files navigation

PLP-Project

C++ from Coq's perspective

About

În plus față de funcționalitățile triviale de la curs, limbajul va pune la dispoziție și următoarele instrucțiuni: 1. instrucțiunea break, 2. tablouri, 3. unidimensionale/bidimensionale, 4. funcții și apeluri de funcții, 5. liste de inițializare, 6. instrucțiunea for-each, 6. literali, 7. expresii lambda și 8. instrucțiunea #define;

Readme