agda interactive load & quit