|
.direnv
|
initial commit
|
2025-06-06 15:01:26 +02:00 |
|
_build/2.6.4.3/agda/Category/Instance
|
initial commit
|
2025-06-06 15:01:26 +02:00 |
|
Category/Instance
|
initial commit
|
2025-06-06 15:01:26 +02:00 |
|
.envrc
|
initial commit
|
2025-06-06 15:01:26 +02:00 |
|
flake.lock
|
initial commit
|
2025-06-06 15:01:26 +02:00 |
|
flake.nix
|
initial commit
|
2025-06-06 15:01:26 +02:00 |
|
Makefile
|
initial commit
|
2025-06-06 15:01:26 +02:00 |
|
nominal.agda-lib
|
initial commit
|
2025-06-06 15:01:26 +02:00 |
|
shell.nix
|
initial commit
|
2025-06-06 15:01:26 +02:00 |
