diff --git a/cur-doc/cur/scribblings/stdlib.scrbl b/cur-doc/cur/scribblings/stdlib.scrbl
index cb9a3a1..ff0ed24 100644
--- a/cur-doc/cur/scribblings/stdlib.scrbl
+++ b/cur-doc/cur/scribblings/stdlib.scrbl
@@ -12,4 +12,5 @@ Cur has a small standard library, primary for demonstration purposes.
 @include-section{stdlib/bool.scrbl}
 @include-section{stdlib/nat.scrbl}
 @include-section{stdlib/maybe.scrbl}
+@include-section{stdlib/list.scrbl}
 @include-section{stdlib/typeclass.scrbl}
diff --git a/cur-doc/cur/scribblings/stdlib/list.scrbl b/cur-doc/cur/scribblings/stdlib/list.scrbl
new file mode 100644
index 0000000..294e7b1
--- /dev/null
+++ b/cur-doc/cur/scribblings/stdlib/list.scrbl
@@ -0,0 +1,21 @@
+#lang scribble/manual
+
+@(require
+  "../defs.rkt"
+  scribble/eval)
+
+@(define curnel-eval (curnel-sandbox "(require cur/stdlib/bool cur/stdlib/nat cur/stdlib/sugar cur/stdlib/list)"))
+
+@title{List}
+@defmodule[cur/stdlib/list]
+This library defines the datatype @racket[List] and several functions on them.
+
+@deftogether[(@defthing[List (-> Type Type)]
+              @defthing[nil (forall (A : Type) (List A))]
+	      @defthing[cons (forall* (A : Type) (a : A) (-> (List A) (List A)))])]{
+The polymorphic list datatype.
+}
+
+@defproc[(list-ref [A Type] [ls (List A)] [n Nat]) (Maybe A)]{
+Returns the @racket[n]th element of @racket[ls] in the @racket[Maybe] monad.
+}