From 37d4844af4ee26b9f454808971fac92bf83e9533 Mon Sep 17 00:00:00 2001 From: Thomas Wies Date: Fri, 22 Nov 2024 00:05:19 -0500 Subject: [PATCH] minor --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 0a51bc1..70c35a9 100644 --- a/README.md +++ b/README.md @@ -28,6 +28,8 @@ $ opam install . --deps $ dune build; dune install; dune runtest ``` +A [Visual Studio Code extension](https://github.com/nyu-acsys/raven-lang) for IDE integration is also available. + ## Examples Several examples of Raven programs can be found in the [test](test) folder. The [ci](test/ci) folder contains many small examples that can be used to learn Raven's syntax for specific features. Complete verified implementations of concurrent data structures can be found in the [concurrent](test/concurrent) folder. Here are a few notable ones to get started, in roughly increasing order of complexity: 1. [spin_lock](test/concurrent/lock/spin-lock.rav)