move header up

BrianHicks · Nov 29, 2020 · 954b204 · 954b204
1 parent 79e21ea
commit 954b204
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/Datalog.elm b/src/Datalog.elm
@@ -16,6 +16,10 @@ program =
     Program
 
 
+
+-- EVALUATION
+
+
 {-| This is cheating a bit. A database is only ground atoms--that is, atoms
 whose terms are all constants.
 -}
@@ -41,10 +45,6 @@ insertAtom atom database =
         database
 
 
-
--- EVALUATION
-
-
 solve : Program -> Database
 solve program_ =
     solveHelp program_ Dict.empty