From adebcdd26cae287a2924061b47ee7f2c1aeec906 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Sun, 13 Dec 2020 20:35:49 +0000
Subject: [PATCH] Add some comments

---
 src/Propa/Prolog/Unify.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Propa/Prolog/Unify.hs b/src/Propa/Prolog/Unify.hs
index 3b010b2..e16994f 100644
--- a/src/Propa/Prolog/Unify.hs
+++ b/src/Propa/Prolog/Unify.hs
@@ -110,6 +110,8 @@ unifyTerms t1 t2 = do
   lift $ guard $ length t1 == length t2
   sequenceA_ $ zipWith unify t1 t2
 
+-- Figuring out how to display the result of the unification
+
 varNames :: [T.Text]
 varNames = do
   num <- "" : map (T.pack . show) [(1::Integer)..]
@@ -139,6 +141,7 @@ resolveVars t = do
       args2 <- traverse resolveVars args
       pure $ Stat name args2
 
+-- | Helper type so I can resolve variables in multiple terms simultaneously.
 newtype Terms a = Terms { unTerms :: [Term a] }
 
 instance Functor Terms where