{
  "title": "Path Equality and Commutativity Proof",
  "origin_url": "https://github.com/agda/cubical/blob/master/Cubical/Foundations/Prelude.agda",
  "license_guess": "MIT",
  "code_sha256": "1a4ec873f884d0ddb529f646cb084540e449f5840d0a925189cb59fd81f0e036",
  "added_at": "2026-02-10T20:14:46.773940+00:00"
}