diff options
| author | fhackett | 2022-11-01 19:28:37 +0000 |
|---|---|---|
| committer | fhackett | 2022-11-01 19:28:37 +0000 |
| commit | 3269b7e76a029b3a86f5f2e7291c55fd3d223604 (patch) | |
| tree | b3c3c458efb03b294c37a86b5ee79a5ee6e92893 | |
| parent | f4452a9f57482f233fe637a939abfe4f38508545 (diff) | |
add myself to people.json
| -rw-r--r-- | people.json | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/people.json b/people.json index 4561b11..42d580b 100644 --- a/people.json +++ b/people.json @@ -94,6 +94,17 @@ ] }, { + "github": "fhackett", + "name": "Finn Hackett", + "title": "PhD Student, UBC", + "entries": [ + { + "name": "koka-store", + "link": "./entries/fhackett/fib.kk" + } + ] + }, + { "github": "funemy", "name": "Yanze Li", "title": "PhD Student, UBC", |