From c155f77cf497cb56e6826e0fd7172323d3ffe41e Mon Sep 17 00:00:00 2001
From: ntua-el21200 <el21200@mail.ntua.gr>
Date: Mon, 24 Feb 2025 18:46:54 +0200
Subject: [PATCH 1/2] Added factorial

---
 dana/programs/factorial.dana | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 dana/programs/factorial.dana

diff --git a/dana/programs/factorial.dana b/dana/programs/factorial.dana
new file mode 100644
index 0000000..c021905
--- /dev/null
+++ b/dana/programs/factorial.dana
@@ -0,0 +1,15 @@
+def main
+
+  def fact is int: n as int
+    if n <= 1: return: 1
+    else: return: n*fact(n-1)
+    
+  var input output is int
+  input := readInteger()
+  
+  output := fact(input)
+  writeString: "The factorial of ";
+  writeInteger: input
+  writeString: " is: "
+  writeInteger: output
+  writeString "\n"

From 10198018d5a02e5ae381426eae4c610fa3d1ea18 Mon Sep 17 00:00:00 2001
From: Kostis Sagonas <kostis@cs.ntua.gr>
Date: Mon, 24 Feb 2025 22:54:29 +0100
Subject: [PATCH 2/2] Update factorial.dana

to homogenize its output with `factorial.dana`.
---
 dana/programs/factorial.dana | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dana/programs/factorial.dana b/dana/programs/factorial.dana
index c021905..3a56104 100644
--- a/dana/programs/factorial.dana
+++ b/dana/programs/factorial.dana
@@ -10,6 +10,6 @@ def main
   output := fact(input)
   writeString: "The factorial of ";
   writeInteger: input
-  writeString: " is: "
+  writeString: " is "
   writeInteger: output
   writeString "\n"