Skip to content

Commit

Permalink
Added link to data
Browse files Browse the repository at this point in the history
  • Loading branch information
tobiasBora committed Dec 11, 2024
1 parent 5627825 commit 733e37f
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 1 deletion.
4 changes: 4 additions & 0 deletions src/site.hs
Original file line number Diff line number Diff line change
Expand Up @@ -58,6 +58,10 @@ main = do
route idRoute
compile copyFileCompiler

match "teaching/**/*.proof" $ do
route idRoute
compile copyFileCompiler

match "teaching/**/*.mp4" $ do
route idRoute
compile copyFileCompiler
Expand Down
2 changes: 1 addition & 1 deletion src/teaching/2024_2025_-_Advanced_crypto/index.org
Original file line number Diff line number Diff line change
Expand Up @@ -14,5 +14,5 @@

** TP

- TP: [[./advanced_crypto_tp_01.pdf][Zero-knowledge proofs and game of life]] ([[./tp/tp_01.py][template]], [[./tp_01_tests.py][tests]])
- TP: [[./advanced_crypto_tp_01.pdf][Zero-knowledge proofs and game of life]] ([[./tp/tp_01.py][template]], [[./tp_01_tests.py][tests]], [[./tp/proof_110_five_true.proof][data for tests]])

0 comments on commit 733e37f

Please sign in to comment.