1. I'm trying to compile first Agda program
  3. and getting:
  7. ```[neo@nixos:~/Desktop]$ agda --compile Main.agda
  8. Calling: ghc -O -o /home/neo/Desktop/Main -Werror -i/home/neo/Desktop -main-is MAlonzo.Code.Main /home/neo/Desktop/MAlonzo/Code/Main.hs --make -fwarn-incomplete-patterns -fno-warn-overlapping-patterns
  9. [ 1 of 70] Compiling MAlonzo.RTE ( MAlonzo/RTE.hs, MAlonzo/RTE.o )
  10. Compilation error:
  12. MAlonzo/RTE.hs:11:1: error:
  13. Could not find module 'Numeric.IEEE'
  14. Use -v to see a list of the files searched for.
  15. |
  16. 11 | import Numeric.IEEE ( IEEE(identicalIEEE) )
  17. | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^```
  21. according to: https://stackoverflow.com/a/49727697/750216
  23. I added ieee754 package to Nix near Agda using:
  25. haskellPackages.Agda
  26. haskellPackages.ieee754
  28. but compilation still does not see it
  29. any ideas?