Add a benchmark page with a first benchmark

2026-09-04 11:15:41 +00:00 · 2021-12-08 11:30:07 +01:00
parent 4b369347c0
commit f9e5520ffb
3 changed files with 62 additions and 0 deletions
@@ -31,6 +31,7 @@

 - [Design](./design/index.md)
  - [Goals and use Cases](./design/goals.md)
+  - [Benchmarks](./design/benchmarks.md)
  - [Related work](./design/related_work.md)
  - [Internals](./design/internals.md)