diff wisdom/fun fact @ 11232:65c5e843c3a3

<oerjan> revert
author HackBot
date Thu, 02 Nov 2017 15:31:53 +0000
parents c3d85315f276
children
line wrap: on
line diff
--- 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)