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/pi 2022-07-26 23:07:53 +02:00

90255e9c40 remove repl from todo

rachel pushed to master at rachel/pi 2022-07-26 23:07:36 +02:00

c7fb1d5cd3 definition system, repl

rachel pushed to master at rachel/pi 2022-07-26 07:58:07 +02:00

79ad67ffec nat literals and comments in parser

rachel pushed to master at rachel/pi 2022-07-26 06:12:03 +02:00

542f1cd685 update readme

rachel pushed to master at rachel/pi 2022-07-26 06:11:23 +02:00

24604a93ef identity types !

rachel pushed to master at rachel/pi 2022-07-26 01:12:05 +02:00

8e85d97b7f parser is now useable for tests n stuff

rachel pushed to master at rachel/pi 2022-07-25 01:21:48 +02:00

fa384e2e26 add top level parser

rachel pushed to master at rachel/pi 2022-07-25 00:35:43 +02:00

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

rachel pushed to master at rachel/pi 2022-07-23 06:01:59 +02:00

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

rachel pushed to master at rachel/pi 2022-07-23 03:38:24 +02:00

a7d9ac4c0b added parser

rachel pushed to master at rachel/pi 2022-07-21 19:52:11 +02:00

e3c74503ee added let ... in ...

rachel pushed to master at rachel/pi 2022-07-21 04:26:19 +02:00

752b6ee4c9 updated TODO priorities

rachel pushed to master at rachel/pi 2022-07-21 04:20:32 +02:00

a2b74708b7 added Σ types to readme also

rachel pushed to master at rachel/pi 2022-07-21 04:19:55 +02:00

fcd2ec66e8 added let in to TODO

rachel pushed to master at rachel/pi 2022-07-21 04:19:05 +02:00

d1b27c826b added Σ types

rachel pushed to master at rachel/pi 2022-07-21 00:06:05 +02:00

ab7d70d562 implemented types ⊤, ⊥, and ℕ

rachel pushed to master at rachel/pi 2022-07-20 21:22:42 +02:00

2b441fe0ec updated plan

rachel pushed to master at rachel/pi 2022-07-20 21:18:54 +02:00

rachel pushed to master at rachel/pi 2022-07-20 18:17:15 +02:00

b98643fbc5 inductive type constructor is just a term

rachel pushed to master at rachel/rachel.cafe 2022-06-30 18:54:21 +02:00

31eda5ac81 move /misc to /agda, add KUIP and UIPK