18 hours ago
- Install Agda and its standard library using Nix by adding to `environment.systemPackages` or `home-manager` configuration with `agda.withPackages`.
- For Emacs users, install `agda2-mode` via home-manager's `programs.emacs.extraPackages`.
- Typecheck Agda files with `agda filename.agda` and compile with `agda -c filename.agda` to produce an executable.
- To use the standard library in a project, create a `.agda-lib` file in the project directory with `depend: standard-library` and `include: .` to resolve imports like `Data.Nat`.
- Without the library file, Agda will fail to find standard library modules, as shown in the example error.