<fizzie> ` sed -e \'s|^ ||\' < \'wisdom/fun fact \' > \'wisdom/fun fact\'; rm \'wisdom/fun fact \'
author |
HackBot |
date |
Wed, 01 Nov 2017 19:38:34 +0000 |
parents |
ea9f9991866f |
children |
65c5e843c3a3 |
files |
wisdom/fun fact wisdom/fun fact |
diffstat |
2 files changed, 1 insertions(+), 2 deletions(-)
[+]
|
line diff
--- 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
--- 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