From 7e1fed4da8bb913d25f447afd1f1e485d428e37f Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Mon, 15 Oct 2012 20:32:03 +0200
Subject: Move source files for HTML tests to html-test/src

---
 html-test/src/Properties.hs | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 html-test/src/Properties.hs

(limited to 'html-test/src/Properties.hs')

diff --git a/html-test/src/Properties.hs b/html-test/src/Properties.hs
new file mode 100644
index 00000000..05930ece
--- /dev/null
+++ b/html-test/src/Properties.hs
@@ -0,0 +1,9 @@
+module Properties where
+
+-- | Fibonacci number of given 'Integer'.
+--
+-- prop> fib n <= fib (n + 1)
+fib :: Integer -> Integer
+fib 0 = 0
+fib 1 = 1
+fib n = fib (n - 1) + fib (n - 2)
-- 
cgit v1.2.3