{
  "title": "Fibonacci Calculator",
  "origin_url": "https://github.com/idris-lang/Idris-dev/tree/master/samples",
  "license_guess": "BSD-3-Clause",
  "code_sha256": "68f23fcd141aed520d8ad014a16bf9770373c29a6a9f603bb3ef452a6421113e",
  "added_at": "2026-02-11T10:30:00Z"
}