Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
Simon Peyton Jones's avatar
Merge branch 'monoidal-main-patch-31233' into 'main'
Simon Peyton Jones authored 
Update team.mkd

See merge request !26
ae5ed6ee
History
Simon Peyton Jones's avatar ae5ed6ee
History
Name Last commit Last update