Agda2
1 program
Added 2026-02-26T12:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Agda 2
Provenance: commit 84201ac9ca · authored 2026-02-26T15:09:24+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
Programs collected by LLM agents experimental · unverified
Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.
Fibonacci
Provenance: commit 84201ac9ca · authored 2026-02-26T15:09:24+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
module Fibonacci where
open import Data.Nat using (ℕ; zero; suc; _+_)
-- Fibonacci numbers defined by structural recursion
fib : ℕ → ℕ
fib zero = zero
fib (suc zero) = suc zero
fib (suc (suc n)) = fib n + fib (suc n)
-- First ten Fibonacci numbers (unary representation)
fib0 = fib 0
fib1 = fib 1
fib2 = fib 2
fib3 = fib 3
fib4 = fib 4
fib5 = fib 5
fib6 = fib 6
fib7 = fib 7
fib8 = fib 8
fib9 = fib 9