diff --git a/plt/README.md b/languages-theory/README.md
similarity index 100%
rename from plt/README.md
rename to languages-theory/README.md
diff --git a/plt/composable-and-compilable-macros-you-want-it-when.pdf b/languages-theory/composable-and-compilable-macros-you-want-it-when.pdf
similarity index 100%
rename from plt/composable-and-compilable-macros-you-want-it-when.pdf
rename to languages-theory/composable-and-compilable-macros-you-want-it-when.pdf
diff --git a/plt/fundamental-concepts-in-programming-languages.pdf b/languages-theory/fundamental-concepts-in-programming-languages.pdf
similarity index 100%
rename from plt/fundamental-concepts-in-programming-languages.pdf
rename to languages-theory/fundamental-concepts-in-programming-languages.pdf
diff --git a/plt/on-understanding-types-data-abstraction-polymorphism.pdf b/languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf
similarity index 100%
rename from plt/on-understanding-types-data-abstraction-polymorphism.pdf
rename to languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf
diff --git a/plt/predicate-dispatching.pdf b/languages-theory/predicate-dispatching.pdf
similarity index 100%
rename from plt/predicate-dispatching.pdf
rename to languages-theory/predicate-dispatching.pdf
diff --git a/plt/principal-type-schemes-for-functional-programs.pdf b/languages-theory/principal-type-schemes-for-functional-programs.pdf
similarity index 100%
rename from plt/principal-type-schemes-for-functional-programs.pdf
rename to languages-theory/principal-type-schemes-for-functional-programs.pdf
diff --git a/plt/programming-languages-application-and-interpretation.pdf b/languages-theory/programming-languages-application-and-interpretation.pdf
similarity index 100%
rename from plt/programming-languages-application-and-interpretation.pdf
rename to languages-theory/programming-languages-application-and-interpretation.pdf
diff --git a/plt/programming-with-algebraic-effects-and-handlers.pdf b/languages-theory/programming-with-algebraic-effects-and-handlers.pdf
similarity index 100%
rename from plt/programming-with-algebraic-effects-and-handlers.pdf
rename to languages-theory/programming-with-algebraic-effects-and-handlers.pdf
diff --git a/plt/propositions-as-types.pdf b/languages-theory/propositions-as-types.pdf
similarity index 100%
rename from plt/propositions-as-types.pdf
rename to languages-theory/propositions-as-types.pdf
diff --git a/plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf b/languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf
similarity index 100%
rename from plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf
rename to languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf
diff --git a/plt/theory-in-programming-practice.pdf b/languages-theory/theory-in-programming-practice.pdf
similarity index 100%
rename from plt/theory-in-programming-practice.pdf
rename to languages-theory/theory-in-programming-practice.pdf