src/Tools/SML/factorial.sml

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/SML/factorial.sml	Tue Mar 25 14:52:35 2014 +0100
@@ -0,0 +1,6 @@
+fun factorial 0 = 1
+  | factorial n = n * factorial (n - 1);
+
+factorial 10;
+factorial 100;
+factorial 1000;