@@ -69,23 +69,24 @@ nav = [
6969 ] },
7070 { "Benchmarks" = [
7171 " benchmarks/index.md" ,
72- { "Benchmark Details " = [
72+ { "Benchmarks " = [
7373 { "Fibonacci" = " benchmarks/benchmarks/fib.md" },
74- { "Fold" = " benchmarks/benchmarks/fold.md" },
75- { "Unbalanced Tree Search" = " benchmarks/benchmarks/uts.md" },
76- { "Random Scheduler Switch" = " benchmarks/benchmarks/switch-random.md" },
77- { "I/O Pool Switch" = " benchmarks/benchmarks/switch-io-pool.md" },
74+ { "Unbalanced Trees" = " benchmarks/benchmarks/uts.md" },
7875 { "Heat" = " benchmarks/benchmarks/heat.md" },
7976 { "Integrate" = " benchmarks/benchmarks/integrate.md" },
8077 { "Knapsack" = " benchmarks/benchmarks/knapsack.md" },
8178 { "Mandelbrot" = " benchmarks/benchmarks/mandelbrot.md" },
82- { "Matrix Multiply " = " benchmarks/benchmarks/matmul.md" },
79+ { "Matrix multiply " = " benchmarks/benchmarks/matmul.md" },
8380 { "Strassen" = " benchmarks/benchmarks/strassen.md" },
84- { "N-Queens " = " benchmarks/benchmarks/nqueens.md" },
81+ { "N-queens " = " benchmarks/benchmarks/nqueens.md" },
8582 { "Primes" = " benchmarks/benchmarks/primes.md" },
8683 { "Quicksort" = " benchmarks/benchmarks/quicksort.md" },
87- { "Scan " = " benchmarks/benchmarks/scan .md" },
84+ { "Mergesort " = " benchmarks/benchmarks/mergesort .md" },
8885 { "Skynet" = " benchmarks/benchmarks/skynet.md" },
86+ { "Scan" = " benchmarks/benchmarks/scan.md" },
87+ { "Fold" = " benchmarks/benchmarks/fold.md" },
88+ { "Random scheduler" = " benchmarks/benchmarks/switch-random.md" },
89+ { "I/O scheduler" = " benchmarks/benchmarks/switch-io-pool.md" },
8990 ] },
9091 ] },
9192 { "Contributing" = " contributing.md" },
0 commit comments