diff options
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 cc5e8e3..526da06 100644 --- a/people.json +++ b/people.json @@ -71,6 +71,21 @@ ] }, { + "github": "lizard-business", + "name": "rhiannon morris", + "title": "amateur type system liker", + "entries": [ + { + "name": "maude", + "link": "./entries/lizard-business/fib.maude" + }, + { + "name": "ats", + "link": "./entries/lizard-business/fib.dats" + } + ] + }, + { "github": "margoseltzer", "name": "Margo Seltzer", "title": "Professor of Computer Science, UBC", |