Making custom idris mode which works on my work PC until I figure out
what's wrong with shipped one