add doubly-linked-list experiments

verus-lang · Aug 20, 2024 · 34800ec · 34800ec
1 parent 9863183
commit 34800ec
Show file tree

Hide file tree

Showing 87 changed files with 115,678 additions and 0 deletions.
diff --git a/milli/doubly-linked-list/.gitignore b/milli/doubly-linked-list/.gitignore
@@ -0,0 +1,2 @@
+/__pycache__/
+/repeat-out/