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

rachel pushed to master at rachel/viddl 2022-01-22 13:53:07 +01:00

a5623c6b6b actually hopefully made it so my server doesn't cry

rachel pushed to master at rachel/viddl 2022-01-22 13:50:18 +01:00

0d872835a4 relax build depends

ff28ae4148 relax base dependency

Compare 2 commits »