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

46

Projects Packages Public Activity Starred Repositories

Loading Heatmap…

rachel pushed to master at rachel/rachel.cafe

• d7b728c923 center LaTeX stuff in SECD post

2022-01-27 22:21:04 +01:00

rachel pushed to master at rachel/rachel.cafe

• 27402ebcdb prettify blog post listing page a bit

2022-01-27 20:36:20 +01:00

rachel pushed to master at rachel/rachel.cafe

• 890cc7f928 tagged codeblocks with language

2022-01-27 20:29:44 +01:00

rachel pushed to master at rachel/rachel.cafe

• d46ddf9a7a replaced " with ` where appropriate

2022-01-27 20:26:37 +01:00

rachel pushed to master at rachel/rachel.cafe

• 2409c1f3a1 removed unusused scss file

2022-01-27 20:23:49 +01:00

rachel pushed to master at rachel/rachel.cafe

• 62b5c1f9f3 added readme

2022-01-27 20:20:32 +01:00

rachel pushed to master at rachel/hm

• 413f7d3a21 handle application as list

2022-01-26 19:03:00 +01:00

rachel pushed to master at rachel/viddl

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

2022-01-22 13:53:07 +01:00

rachel pushed to master at rachel/viddl

• 0d872835a4 relax build depends
• ff28ae4148 relax base dependency
• Compare 2 commits »

2022-01-22 13:50:18 +01:00