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

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

2022-10-08 13:20:57 +02:00

rachel pushed to master at rachel/cwfs

• 223b2e0447 CwF: make level of Fams an explicit argument

2022-10-08 13:19:38 +02:00

rachel pushed to master at rachel/cwfs

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

2022-10-08 13:17:35 +02:00

rachel pushed to master at rachel/cwfs

• e704dde2a3 Fams: less clutter in description of morphisms

2022-10-08 13:13:13 +02:00

rachel pushed to master at rachel/cwfs

• ece686e955 update README

2022-10-08 13:11:08 +02:00

rachel pushed to master at rachel/cwfs

• a0a1d1a7ed CwF: cleaned up code, and comments

2022-10-08 13:03:52 +02:00

rachel pushed to master at rachel/cwfs

• 38a0214ead add csl file

2022-10-08 02:34:39 +02:00

rachel pushed to master at rachel/cwfs

• ebd6aee026 slightly less confusing text

2022-10-07 23:14:02 +02:00

rachel pushed to master at rachel/implicitt

• d70a3322c1 enough for today, my head hurts

2022-09-03 12:42:04 +02:00

rachel pushed to master at rachel/implicitt

• 60f620c00e I hate grammers

2022-09-03 12:36:24 +02:00

rachel pushed to master at rachel/implicitt

• 96787c4aad fancy dune file

2022-09-03 11:08:39 +02:00

rachel pushed to master at rachel/implicitt

• 963015801e added basic parser

2022-09-03 11:06:22 +02:00

rachel pushed to master at rachel/implicitt

• 9115694545 completed conversion

2022-09-03 09:28:49 +02:00

rachel pushed to master at rachel/implicitt

• 1ac3d99bab update readme

2022-08-30 18:09:33 +02:00

rachel pushed to master at rachel/implicitt

• b7125f0277 did some work on conversion

2022-08-30 18:09:01 +02:00

rachel pushed to master at rachel/implicitt

• 354705afe5 did work on evaluation

2022-08-30 16:12:54 +02:00

rachel pushed to master at rachel/implicitt

• 75f4dea650 cleanup readme

2022-08-30 15:32:10 +02:00

rachel pushed to master at rachel/implicitt

• 7ea41a1bba move Eval.ml to correct directory

2022-08-30 15:13:50 +02:00

rachel pushed to master at rachel/pi

• c7eac71a2d update expectations in readme

2022-08-22 20:49:58 +02:00

rachel pushed to master at rachel/rachel.cafe

• fe6f7ebb58 load larger css files to after page

2022-08-09 14:55:48 +02:00