Agda CLI is a command-line tool that provides a set of utilities for working with Agda files. It offers functionalities such as checking Agda files, running Agda programs, compiling Agda to executables, and compiling Agda to JavaScript.
To install Agda CLI globally, run:
npm install -g agda-cli
The main command-line interface for checking and running Agda files.
agda-cli [check|run] <file.agda>
check: Checks the Agda file and displays any errors or holes.run: Runs the Agda program and displays the output.
Compiles an Agda file to an executable.
agda-compile <file.agda>
Compiles an Agda file to JavaScript.
agda-js <file.agda>
- Pretty-printed output for errors and holes
- Syntax highlighting in the console
- Easy-to-use commands for common Agda operations
- Node.js
- Agda
ISC
Lorenzo Battistela
Contributions, issues, and feature requests are welcome. Feel free to check the issues page if you want to contribute.
If you have any questions or need help, please open an issue in the GitHub repository.