Clean up Agda tutorial