From e5ecfbc69862c2639aa1fcf61f41ec8b63ca15ab Mon Sep 17 00:00:00 2001 From: Alexis King Date: Mon, 6 Jul 2015 22:07:56 -0700 Subject: [PATCH] =?UTF-8?q?Use=20deftech=20to=20define=20a=20=E2=80=98lens?= =?UTF-8?q?=E2=80=99=20term=20in=20the=20documentation?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- lens/main.scrbl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/lens/main.scrbl b/lens/main.scrbl index 722613b..4b69147 100644 --- a/lens/main.scrbl +++ b/lens/main.scrbl @@ -4,10 +4,10 @@ @defmodule[lens] -This library includes functions and forms for working with @italic{lenses}. -A lens is a value that operates on some small piece of a larger -structure. Think of them as a more general representation of getters and -setters in object-oriented languages. +This library includes functions and forms for working with +@deftech[#:key "lens"]{lenses}. A lens is a value that operates on some +small piece of a larger structure. Think of them as a more general +representation of getters and setters in object-oriented languages. @author[@author+email["Jack Firth" "jackhfirth@gmail.com"]]