changes format logic/references to rst

rssh · Jan 30, 2024 · a88c8ae · a88c8ae
1 parent a8330f1
commit a88c8ae
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/docs/AdditionalModules.rst b/docs/AdditionalModules.rst
@@ -1,3 +1,3 @@
 
 .. include:: logic/LogicUsage.rst
-.. include:: logic/References.md
+.. include:: logic/References.rst
diff --git a/docs/logic/References.md → docs/logic/References.rst b/docs/logic/References.md → 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