From a7ce1b127a70cd48f87a6bc87b0e4b1b7fa2a29f Mon Sep 17 00:00:00 2001 From: Rob Simmons Date: Sun, 21 Jul 2024 12:04:19 -0400 Subject: [PATCH] prettier --- docs/src/content/docs/docs/language/builtin.md | 4 ++-- docs/src/content/docs/docs/language/facts.md | 2 +- docs/src/content/docs/docs/language/rules.md | 1 - docs/src/content/docs/docs/language/syntax.md | 2 +- 4 files changed, 4 insertions(+), 5 deletions(-) diff --git a/docs/src/content/docs/docs/language/builtin.md b/docs/src/content/docs/docs/language/builtin.md index 5178d11..02f641b 100644 --- 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 index 1e72107..9ade885 100644 --- 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 index ff21a7c..5ff6d97 100644 --- 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: is :- . - 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 index 6792b66..cb1d087 100644 --- 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