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 2023-01-28 14:14:28 +01:00
79f8700d41 added dead links
rachel pushed to master at rachel/rachel.cafe 2023-01-28 14:11:28 +01:00
4d5eea06d8 added work page to site
rachel pushed to master at rachel/rachel.cafe 2023-01-27 23:42:39 +01:00
dd5f907341 compress image on about
rachel pushed to master at rachel/rachel.cafe 2023-01-27 23:06:57 +01:00
5212c73ba4 fix dead link
rachel pushed to master at rachel/rachel.cafe 2023-01-27 17:38:51 +01:00
4de9104c94 added about page
rachel pushed to master at rachel/implicitt 2023-01-26 21:20:43 +01:00
2c380ad564 remove old parse dir
rachel pushed to master at rachel/implicitt 2023-01-26 21:14:03 +01:00
9eaaca4ed2 initial post process
rachel pushed to master at rachel/implicitt 2023-01-26 19:17:36 +01:00
1e8ec6d71a fix grammar
rachel pushed to master at rachel/implicitt 2023-01-26 16:50:16 +01:00
ae9f061b31 update readme
rachel pushed to master at rachel/implicitt 2023-01-26 16:49:33 +01:00
3aea54bffe integrate bnfc
rachel pushed to master at rachel/implicitt 2023-01-25 22:20:29 +01:00
60890cbdd9 work on BNFC dune integration
rachel pushed to master at rachel/hm 2023-01-25 21:39:25 +01:00
bc7565a1f7 Merge branch 'master' of githug.xyz:depsterr/hm
4d940fb59b precedence levels
Compare 2 commits »
rachel pushed to master at rachel/implicitt 2023-01-25 21:18:30 +01:00
00667c11af start work on raw syntax
rachel pushed to master at rachel/implicitt 2023-01-23 18:04:45 +01:00
c6ebac27ba conversion of stuck induction
rachel pushed to master at rachel/emacs.d 2023-01-10 19:30:06 +01:00
e6d2f7548a not even sure
f4853bdbc5 made exwm quite usable, almost cozy even
a8cdbea488 exwm, edwina, and startup optimizations
Compare 3 commits »
rachel pushed to master at rachel/rachel.cafe 2022-12-24 02:09:35 +01:00
c179b18455 another thing I'd like to write sometime
rachel pushed to master at rachel/rachel.cafe 2022-12-24 02:07:53 +01:00
e15f3ac5cb consistent naming
c392953675 add rough draft for fibbonacci post
Compare 2 commits »
rachel pushed to master at rachel/rachel.cafe 2022-12-22 18:17:25 +01:00
a1fa31d547 added link to rijkes now published HoTT book
rachel pushed to master at rachel/rachel.cafe 2022-12-15 20:17:28 +01:00
2d33d6dbb7 post haskell and logic
rachel pushed to master at rachel/rachel.cafe 2022-12-11 19:24:21 +01:00
bb180bc6cb wrote even more on haskell and logic, redo för renskrivning