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

2022-08-06 02:32:16 +02:00

rachel pushed to master at rachel/pi

2022-08-01 18:26:19 +02:00

rachel pushed to master at rachel/pi

2022-07-28 15:46:11 +02:00

rachel pushed to master at rachel/pi

2022-07-28 15:38:19 +02:00

rachel pushed to master at rachel/pi

2022-07-28 04:48:02 +02:00

rachel pushed to master at rachel/pi

  • 1560c7ce8f removed backtracking behaviour of tarr, parser is ~400x faster now

2022-07-28 04:25:10 +02:00

rachel pushed to master at rachel/pi

  • 60954c21c3 fixued issue with definition indecies

2022-07-27 00:28:30 +02:00

rachel pushed to master at rachel/pi

2022-07-26 23:07:53 +02:00

rachel pushed to master at rachel/pi

2022-07-26 23:07:36 +02:00

rachel pushed to master at rachel/pi

2022-07-26 07:58:07 +02:00

rachel pushed to master at rachel/pi

2022-07-26 06:12:03 +02:00

rachel pushed to master at rachel/pi

2022-07-26 06:11:23 +02:00

rachel pushed to master at rachel/pi

  • 8e85d97b7f parser is now useable for tests n stuff

2022-07-26 01:12:05 +02:00

rachel pushed to master at rachel/pi

2022-07-25 01:21:48 +02:00

rachel pushed to master at rachel/pi

  • cd8ee29281 changed some case orders to maybe optimize code a bit (maybe?)

2022-07-25 00:35:43 +02:00

rachel pushed to master at rachel/pi

  • 48e9a474ff fixed issues in parser, added η-equality for functions

2022-07-23 06:01:59 +02:00

rachel pushed to master at rachel/pi

2022-07-23 03:38:24 +02:00

rachel pushed to master at rachel/pi

2022-07-21 19:52:11 +02:00

rachel pushed to master at rachel/pi

2022-07-21 04:26:19 +02:00

rachel pushed to master at rachel/pi

2022-07-21 04:20:32 +02:00