By the way, I posted these comments about nimrod-mode and nim-mode because one 
often asks why Marcus and Luciano are using lem with their students. 

Reply via email to