changeset 3967:bb7275dbc075

<oerjan> sed -i \'s/|/ |/\' wisdom/fun\\ fact
author HackBot
date Thu, 31 Oct 2013 23:14:57 +0000
parents 5f0851663626
children e82654a7f372
files wisdom/fun fact
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/fun fact	Thu Oct 31 23:14:21 2013 +0000
+++ b/wisdom/fun fact	Thu Oct 31 23:14:57 2013 +0000
@@ -1,1 +1,1 @@
-fun fact 0 = 1| fact n = n * fact (n - 1)
+fun fact 0 = 1 | fact n = n * fact (n - 1)