Agda updates

Provides type checking, go-to-definition, case splitting, auto proof search, and other interactive features for the Agda dependently-typed programming language.

Updates are company announcements posted by the listing owner and reviewed before publishing. All AiList updates.