Merge branch 'master' into great-exportations

Author: robrix

.github/workflows/bazel.yml renamed to .github/workflows/bazel.yml.disabled

@@ -1,6 +1,28 @@
 # semantic-analysis
 
-Program analysis by abstract definitional interpretation.
+Polyglot program analysis by means of abstract definitional interpretation.
+
+
+## Goals
+
+The goal of this package is to provide
+
+1. general facilities for performing program analysis of programs via abstract (definitional) interpretation of an intermediate language,
+
+2. conveniences to aid in translating programs in arbitrary surface languages into said intermediate language,
+
+3. facilities for tailoring and tuning program analyses to vary performance, precision, and sensitivities, and
+
+4. a small variety of specific program analyses to serve both as examples and as useful tools in their own right.
+
+
+## Non-goals
+
+On the other hand, this package will not provide
+
+1. support for specific surface languages, or
+
+2. facilities for dealing with the meta-structure of programs, i.e. where to find modules, how projects and their files are configured, etc.
 
 
 ## Development