>:3

2023-07-19 23:14:04 +02:00 · 2023-07-19 23:12:02 +02:00 · 2023-07-19 23:12:02 +02:00 · 2023-07-19 23:14:04 +02:00 · 2023-07-19 23:12:02 +02:00
diff --git a/Rachel Lambda Samuelsson b/Rachel Lambda Samuelsson
Rachel Lambda Samuelsson 3f8936fbab >:3		2023-07-19 23:14:04 +02:00
.gitignore	:3	2023-07-19 23:12:02 +02:00
basic.agda	:3	2023-07-19 23:12:02 +02:00
readme.md	>:3	2023-07-19 23:14:04 +02:00
shell.nix	:3	2023-07-19 23:12:02 +02:00