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