diff --git a/team.mkd b/team.mkd index 0228ff91228c8e952edb63348804727831a3e51a..7b5a7234d216e34dd92a360fcc37ffd430a1306b 100644 --- a/team.mkd +++ b/team.mkd @@ -12,7 +12,7 @@ If you don't want to be a member of the team, make a PR to remove yourself. | Name | User name | Primary areas of interest and expertise | | --------------------- | ------------------- | ----------------------------------------------------- | -| Adam Gundry | @adamgundry | | +| Adam Gundry | @adamgundry | Steering Committee, records, renamer, typechecker, Core/coercions | | Alan Zimmerman | @alanz | exact printing | | Alex D | @nineonine | | | Alexis King | @lexi.lambda | |