From ee75979b5d94ae18f930ff91e5b2d51cd554b60d Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Mon, 9 Mar 2026 22:45:54 +0200 Subject: Update content for html --- gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) (limited to 'gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html') 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 4e386c9a..641d8c0c 100644 --- a/gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html +++ b/gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html @@ -2,17 +2,12 @@ - Lazy Evaluation with Standard ML -
-
-
-

Home | Markdown | Gemini

@@ -118,11 +113,11 @@ first 10 nat_pairs_not_null
Back to the main site
-- cgit v1.2.3