diff --git a/docs/AdditionalModules.rst b/docs/AdditionalModules.rst index c9ee4b96..4729cc15 100644 --- a/docs/AdditionalModules.rst +++ b/docs/AdditionalModules.rst @@ -1,3 +1,3 @@ .. include:: logic/LogicUsage.rst -.. include:: logic/References.md \ No newline at end of file +.. include:: logic/References.rst diff --git a/docs/logic/References.md b/docs/logic/References.rst similarity index 86% rename from docs/logic/References.md rename to docs/logic/References.rst index 761c58f8..6c8a44f1 100644 --- a/docs/logic/References.md +++ b/docs/logic/References.rst @@ -1,6 +1,8 @@ -## LogicT References +LogicT References +----------------- -## Articles +Articles +******** * Backtracking, Interleaving, and Terminating Monad Transformers: * Deriving Backtracking Monad Transformers: https://dl.acm.org/doi/pdf/10.1145/357766.351258