uploaded current status

2022-10-31 19:27:35 +01:00
parent 2068cf8d5b
commit 300f5554e5
87 changed files with 1359 additions and 112 deletions
@@ -12,10 +12,10 @@

 include::unordered/intro.adoc[]
 include::unordered/buckets.adoc[]
-include::unordered/benchmarks.adoc[]
 include::unordered/hash_equality.adoc[]
 include::unordered/comparison.adoc[]
 include::unordered/compliance.adoc[]
+include::unordered/benchmarks.adoc[]
 include::unordered/rationale.adoc[]
 include::unordered/ref.adoc[]
 include::unordered/changes.adoc[]