Rachel Lambda Samuelsson rachel

1 Followers · 1 Following

• Gothenburg, Sweden
• https://rachel.cafe

• Interested in type theory, category theory and univalent foundations.

• Joined on 2022-01-22
• • 

Repositories

21

Projects Packages Public Activity Starred Repositories

There are no packages yet.

For more information on the package registry, see the documentation.