diff options
Diffstat (limited 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", |