UNPKG

agda-cli

Version:

A command-line tool to perform Agda commands like checking, running, and compiling

github.com/Lorenzobattistela/agda-cli

Lorenzobattistela/agda-cli

68 lines (40 loc) • 1.34 kB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
# Agda CLI 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. ## Installation To install Agda CLI globally, run: ``` npm install -g agda-cli ``` ## Usage ### 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. ### agda-compile Compiles an Agda file to an executable. ``` agda-compile <file.agda> ``` ### agda-js Compiles an Agda file to JavaScript. ``` agda-js <file.agda> ``` ## Features - Pretty-printed output for errors and holes - Syntax highlighting in the console - Easy-to-use commands for common Agda operations ## Requirements - Node.js - Agda ## License ISC ## Author Lorenzo Battistela ## Contributing Contributions, issues, and feature requests are welcome. Feel free to check the [issues page](https://github.com/Lorenzobattistela/agda-cli/issues) if you want to contribute. ## Support If you have any questions or need help, please open an issue in the [GitHub repository](https://github.com/Lorenzobattistela/agda-cli).