From 53c8fa61da33177f415ac98196c87a1ee017e6b0 Mon Sep 17 00:00:00 2001
From: Jack Firth <jackhfirth@gmail.com>
Date: Tue, 18 Aug 2015 16:16:13 -0700
Subject: [PATCH] Re-add missing file

---
 lens/vector/ref.scrbl | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 lens/vector/ref.scrbl

diff --git a/lens/vector/ref.scrbl b/lens/vector/ref.scrbl
new file mode 100644
index 0000000..cab0df0
--- /dev/null
+++ b/lens/vector/ref.scrbl
@@ -0,0 +1,11 @@
+#lang scribble/manual
+
+@(require "../doc-util/main.rkt")
+
+
+@defproc[(vector-ref-lens [i exact-nonnegative-integer?]) lens?]{
+Returns a lens that views an element of a vector.
+@lenses-examples[
+  (lens-view (vector-ref-lens 2) #(a b c d))
+  (lens-set (vector-ref-lens 2) #(a b c d) "sea")
+]}