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/pi

• fcd2ec66e8 added let in to TODO

2022-07-21 04:19:55 +02:00

rachel pushed to master at rachel/pi

• d1b27c826b added Σ types

2022-07-21 04:19:05 +02:00

rachel pushed to master at rachel/pi

• ab7d70d562 implemented types ⊤, ⊥, and ℕ

2022-07-21 00:06:05 +02:00

rachel pushed to master at rachel/pi

• 2b441fe0ec updated plan

2022-07-20 21:22:42 +02:00

rachel pushed to master at rachel/pi

2022-07-20 21:18:54 +02:00

rachel pushed to master at rachel/pi

• b98643fbc5 inductive type constructor is just a term

2022-07-20 18:17:15 +02:00

rachel pushed to master at rachel/rachel.cafe

• 31eda5ac81 move /misc to /agda, add KUIP and UIPK

2022-06-30 18:54:21 +02:00

rachel pushed to master at rachel/kino

• 70f3992691 perfectionist details and building

2022-06-26 19:10:09 +02:00

rachel pushed to master at rachel/rachel.cafe

• 94f3f88067 fixed file name

2022-06-23 22:14:38 +02:00

rachel pushed to master at rachel/rachel.cafe

• f69b6e6959 add some agda stuff

2022-06-23 22:12:32 +02:00

rachel pushed to master at rachel/rachel.cafe

• 11c0a5f856 update

2022-06-23 22:10:41 +02:00

rachel pushed to master at rachel/rachel.cafe

• 22214b8a04 test adding agda page

2022-06-23 22:07:44 +02:00

rachel pushed to master at rachel/pi

• bd8cb07309 additional work on inductives, code compiles, inductives unusable

2022-06-08 15:12:40 +02:00

rachel pushed to master at rachel/pi

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

2022-06-07 14:53:42 +02:00

rachel pushed to master at rachel/pi

• ad9e54a7f5 add some references to useful material in the readme

2022-05-16 17:50:08 +02:00

rachel pushed to master at rachel/pi

• 357bfd4c2a add readme

2022-05-16 17:40:09 +02:00

rachel pushed to master at rachel/pi

• b4a649a438 add test case for eta-equality

2022-05-15 15:30:55 +02:00

rachel pushed to master at rachel/pi

• dea31b675d remove unneeded weaken function (which was wrong anyway)

2022-05-13 19:48:36 +02:00

rachel pushed to master at rachel/an-algorithm-for-checking-depe...

• cb00846b94 include application test

2022-05-12 19:01:29 +02:00

rachel created branch master in rachel/an-algorithm-for-checking-depe...

2022-05-12 18:52:35 +02:00