Merge pull request #844 from o1-labs/sai/remove-broken-links

removing references to broken links

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
 

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

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

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.