From ddb45cf8bd7eb3e4ab85242011b7c04cdc87e68b Mon Sep 17 00:00:00 2001 From: ZJ Date: Thu, 22 Aug 2019 13:00:00 -0400 Subject: [PATCH] rename PLT => languages-theory --- {plt => languages-theory}/README.md | 0 ...sable-and-compilable-macros-you-want-it-when.pdf | Bin ...undamental-concepts-in-programming-languages.pdf | Bin ...standing-types-data-abstraction-polymorphism.pdf | Bin {plt => languages-theory}/predicate-dispatching.pdf | Bin ...incipal-type-schemes-for-functional-programs.pdf | Bin ...ing-languages-application-and-interpretation.pdf | 0 ...gramming-with-algebraic-effects-and-handlers.pdf | Bin {plt => languages-theory}/propositions-as-types.pdf | Bin ...rivative-of-a-regular-type-one-hole-contexts.pdf | Bin .../theory-in-programming-practice.pdf | Bin 11 files changed, 0 insertions(+), 0 deletions(-) rename {plt => languages-theory}/README.md (100%) rename {plt => languages-theory}/composable-and-compilable-macros-you-want-it-when.pdf (100%) rename {plt => languages-theory}/fundamental-concepts-in-programming-languages.pdf (100%) rename {plt => languages-theory}/on-understanding-types-data-abstraction-polymorphism.pdf (100%) rename {plt => languages-theory}/predicate-dispatching.pdf (100%) rename {plt => languages-theory}/principal-type-schemes-for-functional-programs.pdf (100%) rename {plt => languages-theory}/programming-languages-application-and-interpretation.pdf (100%) rename {plt => languages-theory}/programming-with-algebraic-effects-and-handlers.pdf (100%) rename {plt => languages-theory}/propositions-as-types.pdf (100%) rename {plt => languages-theory}/the-derivative-of-a-regular-type-one-hole-contexts.pdf (100%) rename {plt => languages-theory}/theory-in-programming-practice.pdf (100%) 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