fix Agda tutorial's title