From 52bd2c196e9ca21a01b0f6c04afc127916423b9e Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sun, 9 Apr 2023 14:02:40 +0300 Subject: Update content for md --- gemfeed/2010-04-09-standard-ml-and-haskell.md | 20 ++++++++++---------- index.md | 2 +- uptime-stats.md | 2 +- 3 files changed, 12 insertions(+), 12 deletions(-) diff --git a/gemfeed/2010-04-09-standard-ml-and-haskell.md b/gemfeed/2010-04-09-standard-ml-and-haskell.md index f6ca7719..f92e6b89 100644 --- a/gemfeed/2010-04-09-standard-ml-and-haskell.md +++ b/gemfeed/2010-04-09-standard-ml-and-haskell.md @@ -12,7 +12,7 @@ Haskell is also a "pure functional" programming language, whereas SML also makes Standard ML: -``` +```sml datatype ’a multi = EMPTY | ELEM of ’a @@ -21,7 +21,7 @@ datatype ’a multi Haskell: -``` +```haskell data (Eq a) => Multi a = Empty | Elem a @@ -33,7 +33,7 @@ data (Eq a) => Multi a Standard ML: -``` +```sml fun number (EMPTY) _ = 0 | number (ELEM x) w = if x = w then 1 else 0 | number (UNION (x,y)) w = (number x w) + (number y w) @@ -44,7 +44,7 @@ fun test_number w = number (UNION (EMPTY, \ Haskell: -``` +```haskell number Empty _ = 0 number (Elem x) w = if x == w then 1 else 0 test_number w = number (Union Empty \ @@ -56,7 +56,7 @@ test_number w = number (Union Empty \ Standard ML: -``` +```sml fun simplify (UNION (x,y)) = let fun is_empty (EMPTY) = true | is_empty _ = false val x’ = simplify x @@ -74,7 +74,7 @@ fun simplify (UNION (x,y)) = Haskell: -``` +```haskell simplify (Union x y) | (isEmpty x’) && (isEmpty y’) = Empty | isEmpty x’ = y’ @@ -92,7 +92,7 @@ simplify x = x Standard ML: -``` +```sml fun delete_all m w = let fun delete_all’ (ELEM x) = if x = w then EMPTY else ELEM x | delete_all’ (UNION (x,y)) = UNION (delete_all’ x, delete_all’ y) @@ -103,7 +103,7 @@ fun delete_all m w = Haskell: -``` +```haskell delete_all m w = simplify (delete_all’ m) where delete_all’ (Elem x) = if x == w then Empty else Elem x @@ -115,7 +115,7 @@ delete_all m w = simplify (delete_all’ m) Standard ML: -``` +```sml fun delete_one m w = let fun delete_one’ (UNION (x,y)) = let val (x’, deleted) = delete_one’ x @@ -135,7 +135,7 @@ fun delete_one m w = Haskell: -``` +```haskell delete_one m w = do let (m’, _) = delete_one’ m simplify m’ diff --git a/index.md b/index.md index a9662aa8..433e0b18 100644 --- a/index.md +++ b/index.md @@ -1,6 +1,6 @@ # foo.zone -> This site was generated at 2023-04-09T13:51:48+03:00 by `Gemtexter` +> This site was generated at 2023-04-09T14:02:25+03:00 by `Gemtexter` ``` |\---/| diff --git a/uptime-stats.md b/uptime-stats.md index a16cb668..0296d891 100644 --- a/uptime-stats.md +++ b/uptime-stats.md @@ -1,6 +1,6 @@ # My machine uptime stats -> This site was last updated at 2023-04-09T13:51:48+03:00 +> This site was last updated at 2023-04-09T14:02:25+03:00 The following stats were collected via `uptimed` on all of my personal computers over many years and the output was generated by `guprecords`, the global uptime records stats analyser of mine. -- cgit v1.2.3