@@ -15,10 +15,11 @@
                      racket/base
                      racket/contract
                      racket/string
                      pollen/template
                      pollen/pagetree
+                     txexpr
                      sugar/coerce))
 
 @title{@filepath{snippets-html.rkt}}
 
 @defmodule["snippets-html.rkt" #:packages ()]
@@ -73,10 +74,16 @@
 @defproc[(html$-article-close [footertext string?]) non-empty-string?]
 
 Returns a string containing a closing @tt{<section>} tag, a @tt{<footer>} element containing
 @racket[_footertext], and a closing @tt{<article>} tag. If @racket[_footertext] is empty, the
 @tt{<footer>} element will be omitted.
+
+@defproc[(html$-article-listing-short [web-path string?] [pubdate string?] [title string?])
+non-empty-string?]
+
+Returns a string of HTML for an article as it would appear in a listing context in “short” form
+(date and title only).
 
 @defproc[(html$-page-body-close) non-empty-string?]
 
 Returns a string containing the page’s @tt{<footer>} and closing tags.