From 2448bd71609688be7b8bfe362a8534959531cd79 Mon Sep 17 00:00:00 2001 From: Simon Hengel Date: Sun, 8 Sep 2013 10:33:38 +0200 Subject: Fix totality, unicode, examples, paragraph parsing Also simplify specs and parsers while we're at it. Some parsers were made more generic. This commit is a part of GHC pre-merge squash, email fuuzetsu@fuuzetsu.co.uk if you need the full commit history. --- html-test/ref/Properties.html | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'html-test/ref/Properties.html') diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 3e590b45..7b2a2799 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -73,8 +73,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Properties.html");}; >Integer. -

.

fib n <= fib (n + 1)