Programming language theory labs, MIET