diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/index.html b/docs/index.html index 97dc25e..1d0306f 100644 --- a/docs/index.html +++ b/docs/index.html @@ -46,7 +46,7 @@ <div class="example"> <pre class="code"> <span class="repl">></span> <span class="com">:time</span> <span class="symbol">factorial</span> <span class="ternary">(+30)</span> -<span class="time">0.35 seconds</span></pre> +<span class="time">0.15 seconds</span></pre> <p> Efficient call-by-need reduction using abstract machines. </p> |