From d642394b47cadfa4003369c8e0d2c828c9091bb8 Mon Sep 17 00:00:00 2001
From: Felipe Bañados Schwerter
Date: Mon, 24 Oct 2022 10:48:14 -0600
Subject: Added fbanados

---
 people.json | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'people.json')

diff --git a/people.json b/people.json
index 248c644..2b78064 100644
--- a/people.json
+++ b/people.json
@@ -187,5 +187,16 @@
                 "link": "https://github.com/wilbowma/fib-lang/tree/2ec2d1dfd141220882d824cf3dac5b374ed291f3"
             }
         ]
-    }
+    },
+    {
+        "github": "fbanados",
+        "name": "Felipe Bañados Schwerter",
+        "title": "PhD Candidate, UBC",
+        "entries": [
+            {
+                "name": "coq",
+                "link": "./entries/fbanados/fib.v"
+            }
+        ]
+    },
 ]
-- 
cgit v1.2.3-70-g09d2


From bd22843d89bbf1966aca51f5b81f44f5d6766b1b Mon Sep 17 00:00:00 2001
From: Felipe Bañados Schwerter
Date: Mon, 24 Oct 2022 11:28:47 -0600
Subject: Fixed people

---
 people.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'people.json')

diff --git a/people.json b/people.json
index 2b78064..dc0453e 100644
--- a/people.json
+++ b/people.json
@@ -198,5 +198,5 @@
                 "link": "./entries/fbanados/fib.v"
             }
         ]
-    },
+    }
 ]
-- 
cgit v1.2.3-70-g09d2


From 3f2544bf59ebd4839a6e545cd067a4e0c8cb349a Mon Sep 17 00:00:00 2001
From: Felipe Bañados Schwerter
Date: Mon, 24 Oct 2022 11:35:21 -0600
Subject: Added second entry

---
 people.json | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'people.json')

diff --git a/people.json b/people.json
index dc0453e..2543c07 100644
--- a/people.json
+++ b/people.json
@@ -196,6 +196,10 @@
             {
                 "name": "coq",
                 "link": "./entries/fbanados/fib.v"
+            },
+            {
+                "name": "pharo-smalltalk",
+                "link": "./entries/fbanados/fib.st"
             }
         ]
     }
-- 
cgit v1.2.3-70-g09d2