Skip to content
Snippets Groups Projects
Commit e8e3173c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Merge branch 'adamgundry-main-patch-49771' into 'main' 

Update team.mkd

See merge request !27
parents ae5ed6ee b54c29b6
Branches ghc-9.10
No related tags found
1 merge request!27Update team.mkd
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
team.mkd
+ 1
− 1
View file @ e8e3173c
......@@ -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 | |
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment