Cornell's custom VIM configs for SML/NJ in their CS312 course