Agda

agda

A dependently typed functional programming language.

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

Open form in Otty otty.toml

What the manifest covers

3 sections, each its own tab

Command form

ai-draft · 2 tasks · 13 fields

otty gui agda opens Type-check an Agda file and fills your prompt with the command.

Autocomplete

generated · 2.1 KB

Subcommands, options and argument candidates Otty offers as you type.

Dotfiles

6 paths · machine-local lines

Where it keeps its config, which parts are credentials, and which lines belong to one machine.

Published manifest

Immutable: every revision keeps its URL and its digest

Version window

All versions

Revision

d068bd3be76704c6c856239bde657f9047d5dbacebc0a398887a3eea7faf182e

Read it

otty.toml · JSON · API metadata

SourcesEvery field cites one of these

docs

--html Generate HTML files with highlighted source code --latex Generate LaTeX with highlighted source code --vim Generate Vim highlighting files. --include-path={DIR}, -i {DIR} Look for imports in DIR. This option can be given multiple times. --library={DIR}, -l {LIB} Use library LIB. --library-file={FILE} Use FILE instead of the standard libraries file. --…

manuallatest 2026-10

agda.readthedocs.io