[ README.agda ] Fixed documentation