Agda

agda

A dependently typed functional programming language.

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

Open form in Otty otty.toml

Version windows

One manifest for every version

All versions

d068bd3be76704c6c856239bde657f9047d5dbacebc0a398887a3eea7faf182e

dotfilescommandsautocomplete

JSON · TOML

A window holds from its version up to the next one’s. Otty picks the window from the version it finds installed, and a manifest with no window holds for all of them.