{
  "title": "Factorial with Dependent Types",
  "origin_url": "https://www.cs.bu.edu/~hwxi/DML/DML.html",
  "license_guess": null,
  "code_sha256": "e09ca24314eb5a2220d3a754ad8dc3b42b26c12491c60ec840d111fa41fbb239",
  "added_at": "2026-02-13T00:00:00Z"
}