rootProject.name = "adts-and-representation-independence"