From f9b082db98af347a823aa45d07e37089448547b0 Mon Sep 17 00:00:00 2001 From: Griffin Berlstein Date: Tue, 18 Oct 2022 13:51:02 -0400 Subject: [PATCH] add some links --- README.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 7796801..a4ea7b1 100644 --- a/README.md +++ b/README.md @@ -336,12 +336,14 @@ tools should be similar to those we collected. ## *(optional)* Interactive Debugging with Cider (~10 minutes) -This section is meant to let you use Cider's interactive debugging mode instead +This section is meant to let you use Cider's [interactive debugging mode][cider-docs] instead of the interpreter mode. For this, we've setup a few files from the example calyx program in section 2.2. These files are the same program, but with a hardcoded input value `x`, so that the example component can stand alone. This follows the debugging process shown in section 3. It will be useful to keep this -portion of the paper handy while working through this section. +portion of the paper handy while working through this section. And, if desired, +the [docs][cider-docs] can also be consulted for more detailed discussions of +Cider's commands To start, run the following command from the root directory: ```bash @@ -495,3 +497,4 @@ free to play around or close the program at your leisure. [tvm]: https://tvm.apache.org/docs/install/from_source.html [dahlia]: https://capra.cs.cornell.edu/fuse/docs/installation/ [runt]: https://github.com/rachitnigam/runt +[cider-docs]: https://docs.calyxir.org/debug/cider.html