thatonelutenist/website
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Printf post time

Browse source
This commit is contained in:
Nathan McCarty 2025-02-11 18:24:34 -05:00
parent 45dcb3d177
commit 585b2be5ab
2 changed files with 222 additions and 60 deletions
Download patch file Download diff file Expand all files Collapse all files

2
db/posts/5.json
View file

@ -4,7 +4,7 @@
"hidden": false,
"idris": true,
"ipkg": "/home/nathan/Projects/Blog/projects/Idris/Idris.ipkg",
"posted-at": "2025-02-09T06:23:37.499533-05:00",
"posted-at": "2025-02-11T18:24:30.059245-05:00",
"slugs": [
],
"source": "/home/nathan/Projects/Blog/projects/Idris/src/LessMacrosMoreTypes/Printf.md",