Remove documents that appear to be outdated, and move talk/poster

information into verus-papers
verus-lang · Jul 26, 2023 · 9895171 · 9895171
1 parent 94dee63
commit 9895171
Show file tree

Hide file tree

Showing 19 changed files with 0 additions and 1,899 deletions.
diff --git a/source/docs/air/call-typing-bug.air b/source/docs/air/call-typing-bug.air
diff --git a/source/docs/air/enum_field.air b/source/docs/air/enum_field.air
diff --git a/source/docs/air/nondeterministic_functions.air b/source/docs/air/nondeterministic_functions.air
diff --git a/source/docs/air/opaque_datatype.air b/source/docs/air/opaque_datatype.air
diff --git a/source/docs/bv_experiments/bit-vector-reference.md b/source/docs/bv_experiments/bit-vector-reference.md
diff --git a/source/docs/bv_experiments/bitvec_manual.rs b/source/docs/bv_experiments/bitvec_manual.rs