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(-)

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