diff options
| author | Braxton Hall | 2022-10-24 17:40:13 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-24 17:40:13 +0000 |
| commit | 364ddac06a7fbbb52876251b55de856db2292436 (patch) | |
| tree | abf06da417513538f12799ef82e8c9bc8144a174 /people.json | |
| parent | b9ab257c2d46a832e0b3bb904bc40e59daa42481 (diff) | |
| parent | 3f2544bf59ebd4839a6e545cd067a4e0c8cb349a (diff) | |
Merge pull request #19 from fbanados/fbanados
fbanados in coq.
Diffstat (limited to 'people.json')
| -rw-r--r-- | people.json | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/people.json b/people.json index 248c644..2543c07 100644 --- a/people.json +++ b/people.json @@ -187,5 +187,20 @@ "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" + }, + { + "name": "pharo-smalltalk", + "link": "./entries/fbanados/fib.st" + } + ] } ] |