{
  "title": "Fibonacci and absolute value with refinement types",
  "origin_url": "https://github.com/ucsd-progsys/liquidhaskell-tutorial/blob/master/src/Tutorial_01_Introduction.lhs",
  "license_guess": "MIT",
  "code_sha256": "984ffb9664c8dbf43ff17f3b71c9f4a148ea13206ceca1c9dda484f1edbf0bba",
  "added_at": "2026-02-26T00:00:00Z"
}