From b857688eb765b61fa55f1cd95e8367e9b689f04b Mon Sep 17 00:00:00 2001 From: sai Date: Mon, 13 May 2024 16:26:08 -0500 Subject: [PATCH] removing references to broken links --- Makefile | 9 --------- README.md | 4 ---- website/docs/readme.md | 4 ---- website/docs/try-it-out.md | 9 --------- 4 files changed, 26 deletions(-) diff --git a/Makefile b/Makefile index 56e33646b4..753e7ec58d 100644 --- a/Makefile +++ b/Makefile @@ -19,15 +19,6 @@ test-website-build : publish-website : website ./scripts/publish-website.sh -examples : - dune exec ./examples/election/election_main.exe - dune exec ./examples/merkle_update/merkle_update.exe - # tutorial.exe intentionally is unimplemented, but it should still compile - dune build ./examples/tutorial/tutorial.exe - -examples-gpu : - dune exec ./examples/election_gpu/election_main.exe - reformat: dune build @./fmt; dune promote diff --git a/README.md b/README.md index 1002b73faa..ce349fce49 100644 --- a/README.md +++ b/README.md @@ -29,10 +29,6 @@ opam pin add git@github.com:o1-labs/snarky.git ``` and answering yes to the prompts. -The best place to get started learning how to use the library are the annotated examples. -- [Election](examples/election/election_main.ml): shows how to use Snarky to verify an election was run honestly. -- [Merkle update](examples/merkle_update/merkle_update.ml): a simple example updating a Merkle tree. - ## Design The intention of this library is to allow writing snarks by writing what look diff --git a/website/docs/readme.md b/website/docs/readme.md index 1a32d7dd54..570a3288dd 100644 --- a/website/docs/readme.md +++ b/website/docs/readme.md @@ -20,10 +20,6 @@ opam pin add git@github.com:o1-labs/snarky.git ``` and answering yes to the prompts. -The best place to get started learning how to use the library are the annotated examples. -- [Election](examples/election/election_main.ml): shows how to use Snarky to verify an election was run honestly. -- [Merkle update](examples/merkle_update/merkle_update.ml): a simple example updating a Merkle tree. - ## Design The intention of this library is to allow writing snarks by writing what look diff --git a/website/docs/try-it-out.md b/website/docs/try-it-out.md index e103596523..a6acc97153 100644 --- a/website/docs/try-it-out.md +++ b/website/docs/try-it-out.md @@ -66,12 +66,3 @@ project directory, run ```sh dune exec src/try_me.exe ``` - -## Tutorials and examples - -We believe a great way to learn is by doing! You can find our tutorial [on -GitHub](https://github.com/o1-labs/snarky/blob/master/examples/tutorial), as -well as -[some](https://github.com/o1-labs/snarky/tree/master/examples/merkle_update) -[examples](https://github.com/o1-labs/snarky/tree/master/examples/election) to -try out.