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/rachel.cafe 2022-12-10 00:28:31 +01:00

d50ed4133e split haskell post into purity and logic part, post purity part

rachel pushed to master at rachel/rachel.cafe 2022-12-09 21:16:54 +01:00

70c3c50dee added haskell and logic draft

rachel pushed to master at rachel/rachel.cafe 2022-12-09 20:37:26 +01:00

8bc66a9232 updated css

rachel pushed to master at rachel/rachel.cafe 2022-12-09 20:14:40 +01:00

a8cfcb9437 archived some pages, edited SECD page a little bit

rachel pushed to master at rachel/rachel.cafe 2022-12-09 20:02:35 +01:00

344262db2a style change

rachel pushed to master at rachel/cwfs 2022-10-28 16:23:43 +02:00

8d082302f9 change text to better reflect current state

rachel pushed to master at rachel/cwfs 2022-10-28 16:12:52 +02:00

b5b90ddd37 intensionality hell

rachel pushed to master at rachel/cwfs 2022-10-09 15:57:44 +02:00

9c5ae69cbd painful pathp

rachel pushed to master at rachel/cwfs 2022-10-09 01:13:45 +02:00

6d3af73b9f Structures: Pi -> pi

rachel pushed to master at rachel/cwfs 2022-10-09 01:11:45 +02:00

4965c316c9 fix CwF to be lagda

rachel pushed to master at rachel/cwfs 2022-10-09 01:08:25 +02:00

8e1cc0e551 started some work on ∏ types

rachel pushed to master at rachel/rachel.cafe 2022-10-08 15:13:45 +02:00

12ff557e77 minimize website

rachel pushed to master at rachel/cwfs 2022-10-08 13:22:18 +02:00

efd7a84631 CwFs: grammatical error (last small commit today, I promise)

rachel pushed to master at rachel/cwfs 2022-10-08 13:20:57 +02:00

79d8c80446 CwF: undo the last change, since f will be inferred from the functor

rachel pushed to master at rachel/cwfs 2022-10-08 13:19:38 +02:00

223b2e0447 CwF: make level of Fams an explicit argument

rachel pushed to master at rachel/cwfs 2022-10-08 13:17:35 +02:00

d31b3ab50b CwF: update wording to reflect change from CwF to is-CwF

rachel pushed to master at rachel/cwfs 2022-10-08 13:13:13 +02:00

e704dde2a3 Fams: less clutter in description of morphisms

rachel pushed to master at rachel/cwfs 2022-10-08 13:11:08 +02:00

ece686e955 update README

rachel pushed to master at rachel/cwfs 2022-10-08 13:03:52 +02:00

a0a1d1a7ed CwF: cleaned up code, and comments

rachel pushed to master at rachel/cwfs 2022-10-08 02:34:39 +02:00

38a0214ead add csl file