Agda
Provides type checking, go-to-definition, case splitting, auto proof search, and other interactive features for the Agda dependently-typed programming language.
About
Interfaces with Agda's interactive JSON mode to provide type checking, go-to-definition, case splitting, auto proof search, and expression evaluation. Spawns a persistent agda --interaction-json process and communicates via the IOTCM protocol, caching file state for efficient lookups. Supports 9 tools covering the full range of Agda's interactive development features.
Is this your project?
Claim this listing to manage your page, access analytics, and unlock upgrades. Verification takes 60 seconds.
Share This Project
Embed Badge
Add this badge to your README:
[](https://hifriendbot.com/ai-list/agda/)
