Open lmoss opened 9 years ago
Query: should the "evaluate" button in the Program Editor include compiling the 1# code? Or should it stop after the compilation of the vernacular to 1#?
Query: should the "evaluate" button in the Program Editor include compiling the 1# code? Or should it stop after the compilation of the vernacular to 1#?