- Mar 13, 2025
-
-
Ben Gamari authored
-
Ben Gamari authored
-
- Nov 14, 2024
-
-
Simon Peyton Jones authored
-
- Sep 27, 2024
-
-
Matthew Pickering authored
Add Hécate to the Team with corresponding responsibilities See merge request !37
-
-
- Jul 08, 2024
-
-
Matthew Pickering authored
Update team.mkd: Add "linker" to my areas of expertise See merge request !36
-
Torsten Schmits authored
-
- May 07, 2024
-
-
Simon Peyton Jones authored
Introduce myself (@gulin.serge) See merge request !35
-
Serge S. Gulin authored
-
- Jan 23, 2024
-
-
Matthew Pickering authored
-
- Aug 29, 2023
-
-
Simon Peyton Jones authored
team.mkd: Add my primary areas of interest See merge request !34
-
Alexis King authored
-
Zubin authored
-
- Aug 28, 2023
-
-
Simon Peyton Jones authored
Update team.mkd See merge request !33
-
Torsten Schmits authored
-
- Aug 24, 2023
-
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
-
- Aug 03, 2023
-
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
Update team.mkd See merge request !30
-
Alex D authored
-
- Aug 01, 2023
-
-
Simon Peyton Jones authored
-
- Jul 19, 2023
-
-
Simon Peyton Jones authored
Add "Primary areas of interest and expertise" for myself See merge request !29
-
John Ericson authored
-
- Jul 18, 2023
-
-
Simon Peyton Jones authored
Update team.mkd See merge request !28
-
Josh Meredith authored
-
- Jul 17, 2023
-
-
Simon Peyton Jones authored
Update team.mkd See merge request !27
-
Adam Gundry authored
-
Simon Peyton Jones authored
Update team.mkd See merge request !26
-
Krzysztof Gogolewski authored
-
- Jul 14, 2023
-
-
Simon Peyton Jones authored
Add areas of interest for @clyring See merge request !25
-
-
-
Simon Peyton Jones authored
Add interests of Luite See merge request !23
-
Simon Peyton Jones authored
Update team.mkd See merge request !24
-
Moritz Angermann authored
-
Moritz Angermann authored
-
Luite Stegeman authored
-
- Jul 13, 2023
-
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
-
Simon Peyton Jones authored
Add interests for @teo See merge request !22
-