Skip to content

Latest commit

 

History

History
3 lines (2 loc) · 206 Bytes

README.md

File metadata and controls

3 lines (2 loc) · 206 Bytes

Shrimp is a simple imperative programming language designed during the course of Formal Methods for Computer Science at Universita' degli Studi di Bari Aldo Moro.