Agda language subplugun for SublimeLinter