@suss/resolution 0.33.1 → 0.34.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/README.md CHANGED
@@ -2,21 +2,21 @@
2
2
 
3
3
  Part of [suss](https://github.com/nimbuscloud-ai/suss), which reads both sides of every call in a repository and says where the two disagree.
4
4
 
5
- The rules for following a value to the function it ends up being.
5
+ These rules follow a value to the function it ends up being.
6
6
 
7
7
  ## What this package is
8
8
 
9
- Datalog rules, and the few decisions that need source order rather than
10
- a fixpoint. It has no parser, no language, and no files of its own. An
11
- adapter reads source into facts, adds its own rules onto these, and
12
- evaluates the whole set on `@suss/datalog`.
13
-
14
- The rules are about programming languages in general rather than about
15
- any one of them. A name binds to a value. A call puts an argument in a
16
- parameter. A module exports a name, and another module can forward it.
17
- A function that returns a function calling its parameter hands back the
18
- argument it was given, which is a decorator in Python, a closure in Go,
19
- and a handler factory in TypeScript.
9
+ The package is a set of Datalog rules, plus the few decisions that
10
+ depend on source order and so cannot come out of a fixpoint. It does not
11
+ parse anything or read files. An adapter reads source into facts, adds
12
+ its own rules to these, and evaluates the whole set on `@suss/datalog`.
13
+
14
+ The rules cover what programming languages have in common, so none of
15
+ them is specific to one language. A name binds to a value. A call puts
16
+ an argument in a parameter. A module exports a name, and another module
17
+ can forward it. A function that returns a function calling its
18
+ parameter gives back the argument it was passed. Python calls that a
19
+ decorator, Go a closure, and TypeScript a handler factory.
20
20
 
21
21
  ## More
22
22