Merge branch 'main' into followup

robsimmons · Nov 22, 2024 · db09584 · db09584
2 parents f7e4ab0 + 1e7a342
commit db09584
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/src/content/docs/docs/index.md b/docs/src/content/docs/docs/index.md
@@ -24,6 +24,6 @@ the first implementation of finite-choice logic programming.
   [Finite-Choice Logic Programming](https://popl25.sigplan.org/details/POPL-2025-popl-research-papers/13/Finite-Choice-Logic-Programming)
   by Martens, Simmons, and Michael Arntzenius may be of interest.
 
-The easiest way to use Dusa is in our [/](web editor). Dusa is also available
-as a command-line utility and JavaScript API via the
+The easiest way to use Dusa is in our [https://dusa.rocks/](web editor).
+Dusa is also available as a command-line utility and JavaScript API via the
 [Node package manager](https://www.npmjs.com/package/dusa).