From c2530737f711c12609e6ffae0d430b9441396538 Mon Sep 17 00:00:00 2001 From: Michael Ballantyne Date: Wed, 2 Oct 2024 11:51:12 -0400 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 299ebb6..cf741b6 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ A metalanguage for creating sophisticated DSLs in Racket. You provide a grammar and binding rules, and the metalanguage provides a front-end that checks binding, expands macros to your DSL core langauge, and provides tools for working with binding in your DSL's compiler. -`syntax-spec` is used in the [Qi](https://github.com/drym-org/qi) and [hosted-minikanren](https://github.com/michaelballantyne/hosted-minikanren) projects. +`syntax-spec` is used in the [Qi](https://github.com/drym-org/qi), [hosted-minikanren](https://github.com/michaelballantyne/hosted-minikanren), and [ocular-patdown](https://docs.racket-lang.org/ocular-patdown/Pattern-based_Updating.html) projects. This repository also includes a number of example DSL implementations: [peg](tests/dsls/peg), [cmdline](tests/dsls/cmdline), [miniKanren](tests/dsls/minikanren-rs2e), [miniclass](tests/dsls/miniclass), and [TinyHDL](tests/dsls/tiny-hdl). There is also a small [state machine DSL](demos/visser-symposium). If you'd like to learn more about syntax-spec, you can check out our [ICFP 2024 paper](https://mballantyne.net/publications/icfp2024.pdf) and associated [15-minute talk](https://youtu.be/F70QZaMoYJQ?t=10756), or my longer [demo](demos/mk-workshop-2024) at the 2024 miniKanren workshop.