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/kino 2022-06-26 19:10:09 +02:00

70f3992691 perfectionist details and building

rachel pushed to master at rachel/rachel.cafe 2022-06-23 22:14:38 +02:00

94f3f88067 fixed file name

rachel pushed to master at rachel/rachel.cafe 2022-06-23 22:12:32 +02:00

f69b6e6959 add some agda stuff

rachel pushed to master at rachel/rachel.cafe 2022-06-23 22:10:41 +02:00

11c0a5f856 update

rachel pushed to master at rachel/rachel.cafe 2022-06-23 22:07:44 +02:00

22214b8a04 test adding agda page

rachel pushed to master at rachel/pi 2022-06-08 15:12:40 +02:00

bd8cb07309 additional work on inductives, code compiles, inductives unusable

rachel pushed to master at rachel/pi 2022-06-07 14:53:42 +02:00

b53a575821 began work on inductives (this commit doesn't compile)

rachel pushed to master at rachel/pi 2022-05-16 17:50:08 +02:00

ad9e54a7f5 add some references to useful material in the readme

rachel pushed to master at rachel/pi 2022-05-16 17:40:09 +02:00

357bfd4c2a add readme

rachel pushed to master at rachel/pi 2022-05-15 15:30:55 +02:00

b4a649a438 add test case for eta-equality

rachel pushed to master at rachel/pi 2022-05-13 19:48:36 +02:00

dea31b675d remove unneeded weaken function (which was wrong anyway)

rachel pushed to master at rachel/an-algorithm-for-checking-depe... 2022-05-12 19:01:29 +02:00

cb00846b94 include application test

rachel created branch master in rachel/an-algorithm-for-checking-depe... 2022-05-12 18:52:35 +02:00

rachel pushed to master at rachel/an-algorithm-for-checking-depe... 2022-05-12 18:52:35 +02:00

d701a81172 initial commit

rachel created repository rachel/an-algorithm-for-checking-depe... 2022-05-12 18:49:25 +02:00

rachel pushed to master at rachel/hm 2022-05-03 22:16:56 +02:00

b44ffb282a update readme a bit

rachel pushed to master at rachel/rachel.cafe 2022-04-01 20:11:13 +02:00

62bf30dd50 I'm an idiot

rachel pushed to master at rachel/rachel.cafe 2022-04-01 20:01:24 +02:00

9db9cdbc0d cleaned up css file

rachel pushed to master at rachel/rachel.cafe 2022-04-01 19:57:08 +02:00

6c61cb11a7 factor out css to two files for performance

rachel pushed to master at rachel/rachel.cafe 2022-04-01 19:52:18 +02:00

791fa607da switch to using 'monospace' rather than firacode. self host katex