From 98dcade7ac447886c9e39ae3f7ce0f2094db5e74 Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Wed, 10 Oct 2012 14:28:35 +0200
Subject: Add documentation for properties

---
 doc/haddock.xml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/doc/haddock.xml b/doc/haddock.xml
index 7a2f1e8e..4620fc89 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -1672,6 +1672,18 @@ module A where
 	generated documenation.</para>
       </section>
 
+      <section>
+	<title>Properties</title>
+        <para>
+          Haddock provides markup for properties:
+<programlisting>
+-- | Addition is commutative:
+--
+-- prop> a + b = b + a
+</programlisting>
+          This allows third-party applications to extract and verify them.
+        </para>
+      </section>
 
       <section>
 	<title>Hyperlinked Identifiers</title>
-- 
cgit v1.2.3