|
ideas
|
removed agdai, add nix, add exercises
|
2024-04-11 12:21:15 +01:00 |
|
src
|
minor
|
2024-04-30 12:31:24 +02:00 |
|
.envrc
|
removed agdai, add nix, add exercises
|
2024-04-11 12:21:15 +01:00 |
|
.gitignore
|
more changes
|
2024-04-24 12:46:02 +02:00 |
|
Agda.css
|
removed agdai, add nix, add exercises
|
2024-04-11 12:21:15 +01:00 |
|
flake.lock
|
removed agdai, add nix, add exercises
|
2024-04-11 12:21:15 +01:00 |
|
flake.nix
|
removed agdai, add nix, add exercises
|
2024-04-11 12:21:15 +01:00 |
|
Makefile
|
minor
|
2024-04-30 12:31:24 +02:00 |
|
shell.nix
|
removed agdai, add nix, add exercises
|
2024-04-11 12:21:15 +01:00 |
