# HG changeset patch # User HackBot # Date 1509565114 0 # Node ID c3d85315f2763225823f04759344adbceafbc4ba # Parent ea9f9991866f26b5ad50babf636146ee8d50f068 ` sed -e \'s|^ ||\' < \'wisdom/fun fact \' > \'wisdom/fun fact\'; rm \'wisdom/fun fact \' diff -r ea9f9991866f -r c3d85315f276 wisdom/fun fact --- a/wisdom/fun fact Wed Nov 01 19:37:17 2017 +0000 +++ b/wisdom/fun fact Wed Nov 01 19:38:34 2017 +0000 @@ -1,1 +1,1 @@ -fun fact 0 = 1 | fact n = n * fact (n - 1) +fun fact (n.) information that I expect you don't care about at all but which I will tell you anyway diff -r ea9f9991866f -r c3d85315f276 wisdom/fun fact --- a/wisdom/fun fact Wed Nov 01 19:37:17 2017 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ - fun fact (n.) information that I expect you don't care about at all but which I will tell you anyway