start an Agda version