{
  "title": "Safe Operations with Refinement Types",
  "origin_url": "https://ucsd-progsys.github.io/liquidhaskell/",
  "license_guess": null,
  "code_sha256": "488847957d0eab8913ef9a3525308d58207ed02130a621499862249b4ea1090c",
  "added_at": "2026-03-10T12:00:00Z"
}