Files
nixpkgs/pkgs/development/haskell-modules
Naïm Favier 9965571f37 Merge pull request #279188 from ncfavier/agda-debug
agda: enable debug printing
2024-01-31 12:22:27 +01:00
..
2024-01-08 13:55:16 +00:00
2023-09-28 19:06:13 +02:00