reinstate agda mode