Skip to content

Commit

Permalink
chore: Update docs links with refactor of programs dir (#238)
Browse files Browse the repository at this point in the history
  • Loading branch information
puma314 authored Feb 14, 2024
1 parent c8dfce0 commit 61a2050
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion book/generating-proofs/basics.md
Original file line number Diff line number Diff line change
Expand Up @@ -11,5 +11,5 @@ To make this more concrete, let's walk through a simple example of generating a
## Fibonacci

```rust,noplayground
{{#include ../../examples/fibonacci-io/src/main.rs}}
{{#include ../../examples/fibonacci-io/program/src/main.rs}}
```
2 changes: 1 addition & 1 deletion book/writing-programs/basics.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ To make this more concrete, let's walk through a simple example of writing a Fib
This program is from the `examples` [directory](https://github.com/succinctlabs/sp1/tree/main/examples) in the SP1 repo which contains several example programs of varying complexity.

```rust,noplayground
{{#include ../../programs/demo/fibonacci-io/src/main.rs}}
{{#include ../../examples/fibonacci-io/program/src/main.rs}}
```

As you can see, writing programs is as simple as writing normal Rust. To read more about how inputs and outputs work, refer to the section on [Inputs & Outputs](./inputs-and-outputs.md).
2 changes: 1 addition & 1 deletion book/writing-programs/inputs-and-outputs.md
Original file line number Diff line number Diff line change
Expand Up @@ -62,5 +62,5 @@ For more complex usecases, refer to the [Serde docs](https://serde.rs/).
Here is a basic example of using inputs and outputs with more complex types.

```rust,noplayground
{{#include ../../programs/demo/io/src/main.rs}}
{{#include ../../examples/io/program/src/main.rs}}
```

0 comments on commit 61a2050

Please sign in to comment.