- Jul 08, 2024
-
-
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
-
Teo Camarasu authored
-
- Jul 12, 2023
-
-
Simon Peyton Jones authored
Remove @ryndubei See merge request !21
-
Simon Peyton Jones authored
Remove @aratamizuki See merge request !20
-
Vasily Sterekhov authored
-
ARATA Mizuki authored
-
Simon Peyton Jones authored
Update team.mkd See merge request !19
-