Carlos Tomé Cortiñas
|
55ac814fa9
|
Conditionally create symlink to agda-mode if present
|
2025-10-28 18:21:23 +01:00 |
|
Carlos Tomé Cortiñas
|
3c390383bc
|
Refactor agda/base.nix to use HelloWorld.agda file
|
2025-10-28 18:21:23 +01:00 |
|
Carlos Tomé Cortiñas
|
fc65416f41
|
Add myself as a maintainer
|
2025-10-28 18:21:22 +01:00 |
|
Carlos Tomé Cortiñas
|
5882fce497
|
Incorporate suggestions
- land `HelloWorld.agda` and `TrivialBackend.hs` in files
- replace `runCommand` by `stdenvNoCC.mkDerivation`
- refactor asserts
|
2025-10-28 18:21:22 +01:00 |
|
Carlos Tomé Cortiñas
|
f933041b6c
|
Add test to override Agda package with custom backend
|
2025-10-28 18:21:22 +01:00 |
|
Carlos Tomé Cortiñas
|
ab75be0a25
|
Refactor tests/agda.nix to support more tests
|
2025-10-28 18:21:22 +01:00 |
|