meta/settings.gradle.kts (
2
lines of code) (
raw
):
rootProject.name = "arend-lib" includeBuild("../../Arend")