aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorGravatar Peter McGoron 2025-05-02 13:23:21 -0400
committerGravatar Peter McGoron 2025-05-02 13:23:21 -0400
commitab979e1dd163a6ceabb7554f8e2a7f405bd43edd (patch)
treeffe1c5786cb5e7f70195eba1c8f381bff8552a15 /README.md
parentmove utils to new library, emit ellipsis dag from matcher compiler (diff)
move common procedures for matcher and producer to internal
Diffstat (limited to 'README.md')
-rw-r--r--README.md13
1 files changed, 10 insertions, 3 deletions
diff --git a/README.md b/README.md
index b69328b..677ed20 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,12 @@
# Multisyntax
-An implementation of `syntax-rules` using marks and substitutions
-as in `syntax-case`. This library can be thought of as "first-order
-`syntax-case`".
+Implementation of a fragment of the Macrological Fascicle using the
+[Hieb, Dybvig, and Bruggeman][1] algorithm.
+
+The goal of this library is to provide a portable core for
+
+* Future implementations of Scheme with full `syntax-case`
+* Hosted languages inside of Scheme whose macros are written in Scheme
+ (outside of the hosted language)
+
+[1]: https://legacy.cs.indiana.edu/~dyb/pubs/LaSC-5-4-pp295-326.pdf