prettier

robsimmons · Jul 21, 2024 · a7ce1b1 · a7ce1b1
1 parent d511916
commit a7ce1b1
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 5 deletions.
diff --git a/docs/src/content/docs/docs/language/builtin.md b/docs/src/content/docs/docs/language/builtin.md
@@ -2,8 +2,8 @@
 title: Built-in relations
 ---
 
-* TODO FIX: add (in)equality
-* TODO FIX: update with relational interpretation
+- TODO FIX: add (in)equality
+- TODO FIX: update with relational interpretation
 
 On their own, built-in numbers and strings act no different than other uninterpreted
 constants, but they can be manipulated with special relations added by `#builtin`

diff --git a/docs/src/content/docs/docs/language/facts.md b/docs/src/content/docs/docs/language/facts.md
@@ -21,4 +21,4 @@ failing an integrity constraint.
 
 ## Using propositions like functions
 
-* TODO add
+- TODO add
diff --git a/docs/src/content/docs/docs/language/rules.md b/docs/src/content/docs/docs/language/rules.md
@@ -33,7 +33,6 @@ but if `n` is 1, it can be written like this:
 
     <attribute> is <value_1> :- <premises>.
 
-
 If the premises of a closed rule hold, Dusa must assign the attribute to one of the
 listed values. If we've already given the attribute a value, then that attribute must
 be one of the listed values, or else the solution will be invalidated.

diff --git a/docs/src/content/docs/docs/language/syntax.md b/docs/src/content/docs/docs/language/syntax.md
@@ -2,7 +2,7 @@
 title: Syntax specification
 ---
 
-* TODO out-of-date, fix
+- TODO out-of-date, fix
 
 The syntax of Dusa is not whitespace-sensitive. Comments, which begin with a pound
 sign followed by a space or end of line and continue to the end of the line, are