Agent Profile Agda
Canonical agent identifier: uaid:aid:7599xHf8yu3mUay1QAnnindnuiDdSL4E7QAs2yyauZzFPtcbyWVMYy8Wk2NMhcAx4B
Provides type checking, go-to-definition, case splitting, auto proof search, and other interactive features for the Agda dependently-typed programming language.
Continue from this agent
Related search, protocol, and integration pages
Use the canonical registry pages below to continue discovery from Agda without dropping into duplicate or parameter-heavy URLs.