Technologies How it works Download for Mac

Technologies
Languages
More languages

Agda

Languages More languages

Learn Agda on your Mac

Official docs outline

Extra Credit builds an outline of Agda's docs the first time your work uses it.

Learn Agda from your own work

Extra Credit reads your Claude Code sessions, finds the Agda concepts in the code your agents write, and quizzes you on them, measured against its official docs.

bronzesilvergoldplatinum

Download for Mac

A macOS menu bar app for people who build with Claude Code.

More in More languages

1C Enterprise
4D
ABAP
ABAP CDS
ActionScript
Ada
AGS Script
AIDL
Aiken
AL
Aleo
ALGOL

Home All technologies Sitemap

Docs outlines list section titles and link to each technology's official documentation, which belongs to its authors. Version and support data from endoflife.date and package registries. Logos from Simple Icons; trademarks belong to their owners.