{"id":"agda","name":"Agda","description":"A dependently typed functional programming language.","homepage":"https://agda.readthedocs.io","executables":["agda"],"aliases":[],"platforms":["macos","linux","windows"],"sections":["dotfiles","commands"],"quality":"ai-draft","versions":[{"since":null,"revision":"d068bd3be76704c6c856239bde657f9047d5dbacebc0a398887a3eea7faf182e","sections":["dotfiles","commands"],"url":"/api/v1/apps/agda/otty.json?revision=d068bd3be76704c6c856239bde657f9047d5dbacebc0a398887a3eea7faf182e","sha256":"d068bd3be76704c6c856239bde657f9047d5dbacebc0a398887a3eea7faf182e","byte_length":6469,"published_at":"2026-10-28T01:30:24.851Z","status":"published","autocomplete":{"source":"generated","revision":"2491f4c54a8559bef79508ad1ff738ea4981235b82fc75dcf52ffa10894a0ebc","url":"/api/v1/apps/agda/autocomplete.json?revision=2491f4c54a8559bef79508ad1ff738ea4981235b82fc75dcf52ffa10894a0ebc","sha256":"2491f4c54a8559bef79508ad1ff738ea4981235b82fc75dcf52ffa10894a0ebc","byte_length":2176}},{"since":null,"revision":"1173fa2e0274f48a9373420e7612857b6554f3fe79948644276855b47ab3f542","sections":["dotfiles"],"url":"/api/v1/apps/agda/otty.json?revision=1173fa2e0274f48a9373420e7612857b6554f3fe79948644276855b47ab3f542","sha256":"1173fa2e0274f48a9373420e7612857b6554f3fe79948644276855b47ab3f542","byte_length":723,"published_at":"2026-10-27T13:44:21.057Z","status":"withdrawn","autocomplete":null}],"autocomplete":{"source":"generated","revision":"2491f4c54a8559bef79508ad1ff738ea4981235b82fc75dcf52ffa10894a0ebc","url":"/api/v1/apps/agda/autocomplete.json?revision=2491f4c54a8559bef79508ad1ff738ea4981235b82fc75dcf52ffa10894a0ebc","sha256":"2491f4c54a8559bef79508ad1ff738ea4981235b82fc75dcf52ffa10894a0ebc","byte_length":2176}}