GitHub repository: AlexandraSpa/PLP-Project
Primary language: Coq
Description: Î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;