summaryrefslogtreecommitdiff
path: root/src/full/Agda/Utils/Lens/Examples.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Utils/Lens/Examples.hs')
-rw-r--r--src/full/Agda/Utils/Lens/Examples.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/full/Agda/Utils/Lens/Examples.hs b/src/full/Agda/Utils/Lens/Examples.hs
index ccae1b0..d638ba8 100644
--- a/src/full/Agda/Utils/Lens/Examples.hs
+++ b/src/full/Agda/Utils/Lens/Examples.hs
@@ -1,4 +1,4 @@
--- | Examples how to use 'Agda.Utils.Lens'.
+-- | Examples how to use "Agda.Utils.Lens".
module Agda.Utils.Lens.Examples where