{
  "title": "Fibonacci",
  "origin_url": "https://rosettacode.org/wiki/Fibonacci_sequence#Agda",
  "license_guess": "Public Domain",
  "code_sha256": "11b6d15684eb2fd412cb3e8e34515af4a409831c538bf4fc365b8db8766609d5",
  "added_at": "2026-02-26T12:00:00Z"
}