diff options
Diffstat (limited to 'gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html')
| -rw-r--r-- | gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html b/gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html index 76d7dcf3..4e386c9a 100644 --- a/gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html +++ b/gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html @@ -124,6 +124,5 @@ first 10 nat_pairs_not_null <br /> Webring: <a href="https://shring.sh/foo.zone/previous">previous</a> | <a href="https://shring.sh">shring</a> | <a href="https://shring.sh/foo.zone/next">next</a> </p> -<script type="text/javascript" src="../retrofuturistic.js"></script> </body> </html> |