From 8a78337ea4dcb0b154bd1c754218ca01c8f9015d Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sun, 8 Mar 2026 18:17:20 +0200 Subject: Update content for html --- .../2010-05-07-lazy-evaluation-with-standard-ml.html | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 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 641d8c0c..0565803b 100644 --- a/gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html +++ b/gemfeed/2010-05-07-lazy-evaluation-with-standard-ml.html @@ -2,12 +2,17 @@ + Lazy Evaluation with Standard ML - + +
+
+
+

Home | Markdown | Gemini

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