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/an-algorithm-for-checking-depe...

• d701a81172 initial commit

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

rachel created repository rachel/an-algorithm-for-checking-depe...

2022-05-12 18:49:25 +02:00

rachel pushed to master at rachel/hm

• b44ffb282a update readme a bit

2022-05-03 22:16:56 +02:00

rachel pushed to master at rachel/rachel.cafe

• 62bf30dd50 I'm an idiot

2022-04-01 20:11:13 +02:00

rachel pushed to master at rachel/rachel.cafe

• 9db9cdbc0d cleaned up css file

2022-04-01 20:01:24 +02:00

rachel pushed to master at rachel/rachel.cafe

• 6c61cb11a7 factor out css to two files for performance

2022-04-01 19:57:08 +02:00

rachel pushed to master at rachel/rachel.cafe

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

2022-04-01 19:52:18 +02:00

rachel pushed to master at rachel/viddl

• 98e7894113 fixed weird bug with not consuming pipe

2022-03-14 16:17:07 +01:00

rachel pushed to master at rachel/rachel.cafe

• 52190776d7 e

2022-03-14 11:12:46 +01:00

rachel pushed to master at rachel/rachel.cafe

• ed5ecbdbe3 slight update

2022-03-14 10:59:23 +01:00

rachel pushed to master at rachel/viddl

• d01d2b3b0f Merge branch 'master' of githug.xyz:depsterr/viddl
• 7e86e27185 changed some links
• Compare 2 commits »

2022-03-14 10:57:23 +01:00

rachel pushed to master at rachel/hm

• 7fcd27aafd fixed loop in anti loop detection

2022-03-01 18:07:47 +01:00

rachel pushed to master at rachel/hm

• 47411226ac added positivity check

2022-01-31 16:12:27 +01:00

rachel pushed to master at rachel/hm

• b8336ed81d added detection for mutual recursion

2022-01-29 13:59:14 +01:00

rachel pushed to master at rachel/hm

• cf55e12391 hm.cf: remove redundant comment

2022-01-29 00:13:17 +01:00

rachel pushed to master at rachel/hm

• c58327ed98 added '\' for 'λ' and '->' for '→'

2022-01-28 22:56:52 +01:00

rachel pushed to master at rachel/hm

• 0c347709f0 fixed test up a bit

2022-01-28 21:25:24 +01:00

rachel pushed to master at rachel/hm

• 8ff60cc5db able to typecheck files !

2022-01-28 20:47:59 +01:00

rachel pushed to master at rachel/hm

• c3780abfd1 fix issue with let after switching to generation/solver model

2022-01-28 14:15:05 +01:00

rachel pushed to master at rachel/hm

• 687b65cd4e move to constrain generation -> solving model. TODO: move code between modules, clean up

2022-01-28 13:44:40 +01:00