From 8cdfa445d6629ffef4cb84967ff7017654045bc2 Mon Sep 17 00:00:00 2001
From: mo khan <mo@mokhan.ca>
Date: Wed, 2 Jul 2025 18:36:06 -0600
Subject: chore: add vendor directory

---
 vendor/nonempty/README.md | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 vendor/nonempty/README.md

(limited to 'vendor/nonempty/README.md')

diff --git a/vendor/nonempty/README.md b/vendor/nonempty/README.md
new file mode 100644
index 00000000..0b18b605
--- /dev/null
+++ b/vendor/nonempty/README.md
@@ -0,0 +1,20 @@
+# Correct by Construction Non-Empty List
+
+This package exposes a type `NonEmpty<T>` with a data representation
+that guarantees non-emptiness statically:
+
+    struct NonEmpty<T>(T, Vec<T>)
+
+The library is meant to have an interface similar to `std::vec::Vec`:
+
+    use nonempty::NonEmpty;
+
+    let mut l = NonEmpty::new(42);
+
+    assert_eq!(l.first(), &42);
+
+    l.push(36);
+    l.push(58);
+
+    let v: Vec<i32> = l.into();
+    assert_eq!(v, vec![42, 36, 58]);
-- 
cgit v1.2.3