Agda

agda

A dependently typed functional programming language.

Runs as agda|macOS, Linux, Windows|agda.readthedocs.io

Autocomplete

Generated from the command form · 12 options

Published once and never changed; check the digest before caching

sha256

2491f4c54a8559bef79508ad1ff738ea4981235b82fc75dcf52ffa10894a0ebc

Size

2176 bytes

OptionsOn agda itself

--safe

Safe mode

--without-K

Without K

--allow-unsolved-metas

Allow unsolved metas

--include-path

Import search directories <include_path>

--library

Libraries <library>

--library-file

Libraries file <library_file>

--html

Generate HTML

--latex

Generate LaTeX

--vim

Generate Vim highlighting

--dependency-graph

Dependency graph (Dot file) <dependency_graph>

--only-scope-checking

Only scope-check

--ignore-interfaces

Ignore interface files

ArgumentsPositional, in order

<file>

· optional · filepaths