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

108 B

Raw Blame History

View Raw