From be721ca95ced3170211e740e9fc88f1b34f4a259 Mon Sep 17 00:00:00 2001 From: Martin Allen <31280145+martyall@users.noreply.github.com> Date: Mon, 22 Jan 2024 21:55:13 -0800 Subject: [PATCH] Update README.md --- tutorial/sudoku/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tutorial/sudoku/README.md b/tutorial/sudoku/README.md index 90c2a14..5a21406 100644 --- a/tutorial/sudoku/README.md +++ b/tutorial/sudoku/README.md @@ -10,4 +10,4 @@ There is a [sudoku solver](./solver/Main.hs) executable contained in this tutorial that is meant to work with the verifier. ### Example Puzzle -There is an example puzzle which is hard coded in with the solver. Here is the ![initial state](./assets/init.png) of the puzzle, and here is the ![solution](./assets/solved.png). \ No newline at end of file +There is an example puzzle which is hard coded in with the solver. Here is the [initial state](./assets/init.png) of the puzzle, and here is the [solution](./assets/solved.png).