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/viddl 2022-03-14 16:17:07 +01:00

98e7894113 fixed weird bug with not consuming pipe

rachel pushed to master at rachel/rachel.cafe 2022-03-14 11:12:46 +01:00

52190776d7 e

rachel pushed to master at rachel/rachel.cafe 2022-03-14 10:59:23 +01:00

ed5ecbdbe3 slight update

rachel pushed to master at rachel/viddl 2022-03-14 10:57:23 +01:00

d01d2b3b0f Merge branch 'master' of githug.xyz:depsterr/viddl

7e86e27185 changed some links

Compare 2 commits »

rachel pushed to master at rachel/hm 2022-03-01 18:07:47 +01:00

7fcd27aafd fixed loop in anti loop detection

rachel pushed to master at rachel/hm 2022-01-31 16:12:27 +01:00

47411226ac added positivity check

rachel pushed to master at rachel/hm 2022-01-29 13:59:14 +01:00

b8336ed81d added detection for mutual recursion

rachel pushed to master at rachel/hm 2022-01-29 00:13:17 +01:00

cf55e12391 hm.cf: remove redundant comment

rachel pushed to master at rachel/hm 2022-01-28 22:56:52 +01:00

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

rachel pushed to master at rachel/hm 2022-01-28 21:25:24 +01:00

0c347709f0 fixed test up a bit

rachel pushed to master at rachel/hm 2022-01-28 20:47:59 +01:00

8ff60cc5db able to typecheck files !

rachel pushed to master at rachel/hm 2022-01-28 14:15:05 +01:00

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

rachel pushed to master at rachel/hm 2022-01-28 13:44:40 +01:00

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

rachel pushed to master at rachel/rachel.cafe 2022-01-27 22:21:04 +01:00

d7b728c923 center LaTeX stuff in SECD post

rachel pushed to master at rachel/rachel.cafe 2022-01-27 20:36:20 +01:00

27402ebcdb prettify blog post listing page a bit

rachel pushed to master at rachel/rachel.cafe 2022-01-27 20:29:44 +01:00

890cc7f928 tagged codeblocks with language

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

d46ddf9a7a replaced " with ` where appropriate

rachel pushed to master at rachel/rachel.cafe 2022-01-27 20:23:49 +01:00

2409c1f3a1 removed unusused scss file

rachel pushed to master at rachel/rachel.cafe 2022-01-27 20:20:32 +01:00

62b5c1f9f3 added readme

rachel pushed to master at rachel/hm 2022-01-26 19:03:00 +01:00

413f7d3a21 handle application as list