From a88c8ae0c6b6e735511a0cf09f878a4475c2f512 Mon Sep 17 00:00:00 2001
From: Ruslan Shevchenko <ruslan@shevchenko.kiev.ua>
Date: Tue, 30 Jan 2024 18:25:07 +0200
Subject: [PATCH]  changes format logic/references to rst

---
 docs/AdditionalModules.rst                   | 2 +-
 docs/logic/{References.md => References.rst} | 6 ++++--
 2 files changed, 5 insertions(+), 3 deletions(-)
 rename docs/logic/{References.md => References.rst} (86%)

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: <https://okmij.org/ftp/papers/LogicT.pdf>
 * Deriving Backtracking Monad Transformers: https://dl.acm.org/doi/pdf/10.1145/357766.351258