2 ms·Emacs + ENSIME also underlines implicit conversions.by yawaramin 9y agoEmacs + ENSIME also underlines implicit conversions.