# HG changeset patch
# User HackBot
# Date 1509636713 0
# Node ID 65c5e843c3a3975602a4848b0b411449c168dda1
# Parent  c3d85315f2763225823f04759344adbceafbc4ba
<oerjan> revert

diff -r c3d85315f276 -r 65c5e843c3a3 wisdom/fun fact
--- a/wisdom/fun fact	Wed Nov 01 19:38:34 2017 +0000
+++ b/wisdom/fun fact	Thu Nov 02 15:31:53 2017 +0000
@@ -1,1 +1,1 @@
-fun fact (n.) information that I expect you don't care about at all but which I will tell you anyway
+fun fact 0 = 1 | fact n = n * fact (n - 1)
diff -r c3d85315f276 -r 65c5e843c3a3 wisdom/fun fact 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/fun fact 	Thu Nov 02 15:31:53 2017 +0000
@@ -0,0 +1,1 @@
+ fun fact (n.) information that I expect you don't care about at all but which I will tell you anyway