From 6077933906dd637af93adb3714b476ccba724be1 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Sun, 28 Aug 2022 20:50:00 +0900
Subject: Update README.md

---
 README.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 81b718e..89bd031 100644
--- a/README.md
+++ b/README.md
@@ -121,14 +121,15 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri
 
     ```
     // Example program in Python
-    // def gcd(a: Int, b: Int): Int =
-    //   if (b==0) a else gcd(b, a%b)
+    // def gcd(a, b):
+    //   if b==0: return a 
+    //   else: return gcd(b, a%b)
     
     // Rules
     gcd(ret) >< (int a, int b)
     | b==0 => ret ~ a
     | _ => gcd(ret) ~ (b, a%b);
-    
+  
   // Nets
   gcd(r) ~ (14,21);
   r; // it should be 7
-- 
cgit v1.2.3