{
  "edited-at": [
  ],
  "hidden": false,
  "idris": true,
  "ipkg": "/home/nathan/Projects/Blog/projects/Idris/Idris.ipkg",
  "posted-at": "2025-02-11T18:24:30.059245-05:00",
  "slugs": [
  ],
  "source": "/home/nathan/Projects/Blog/projects/Idris/src/LessMacrosMoreTypes/Printf.md",
  "source-code": "https://git.stranger.systems/thatonelutenist/website/src/branch/trunk/projects/Idris/src/LessMacrosMoreTypes/Printf.md",
  "tags": [
    "idris"
  ]
}