aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Properties.html
diff options
context:
space:
mode:
authorSimon Jakobi <simon.jakobi@gmail.com>2018-06-13 23:49:52 +0200
committerSimon Jakobi <simon.jakobi@gmail.com>2018-06-13 23:49:52 +0200
commitce568c3afb00610d659d3c2bab022983d252f1cd (patch)
treeba08952a584eb4d56a61b4275a344570e67c48cf /html-test/ref/Properties.html
parent39a35291045de99b2dabb9cddf5bb16d294c2f3b (diff)
html-test: Accept output
Diffstat (limited to 'html-test/ref/Properties.html')
-rw-r--r--html-test/ref/Properties.html16
1 files changed, 3 insertions, 13 deletions
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index daabe6c4..9299486c 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -46,11 +46,7 @@
><li class="src short"
><a href="#"
>fib</a
- > :: <a href="#" title="Prelude"
- >Integer</a
- > -&gt; <a href="#" title="Prelude"
- >Integer</a
- ></li
+ > :: Integer -&gt; Integer</li
></ul
></details
></div
@@ -61,19 +57,13 @@
><p class="src"
><a id="v:fib" class="def"
>fib</a
- > :: <a href="#" title="Prelude"
- >Integer</a
- > -&gt; <a href="#" title="Prelude"
- >Integer</a
- > <a href="#" class="selflink"
+ > :: Integer -&gt; Integer <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>Fibonacci number of given <code
- ><a href="#" title="Prelude"
- >Integer</a
- ></code
+ >Integer</code
>.</p
><pre
>fib n &lt;= fib (n + 1)</pre