{
  "title": "Binary Tree",
  "origin_url": "https://github.com/idris-lang/Idris2/blob/main/samples/BTree.idr",
  "license_guess": "BSD-3-Clause",
  "code_sha256": "d28f5673f420575670c11cd7163888fe95e77995fe0713a56f6ca0df7cc8f8da",
  "added_at": "2026-02-26T05:09:46Z"
}