{
  "title": "Quicksort with Dependent Types",
  "origin_url": "https://github.com/Tipoca/dml/blob/master/EXAMPLES/quicksort.dml",
  "license_guess": null,
  "code_sha256": "6166b78b36527138a9f13e9f02286aeafe63c6256eb1dbb06c40bfb3a841477b",
  "added_at": "2026-02-23T12:00:00Z"
}