{ "edited-at": [ ], "hidden": false, "idris": true, "ipkg": "/home/nathan/Projects/Blog/projects/Idris/Idris.ipkg", "posted-at": "2025-07-09T12:10:44.129174-04:00", "slugs": [ ], "source": "/home/nathan/Projects/Blog/projects/Idris/src/LessMacrosMoreTypes/RowPolymorphism.md", "special": false, "tags": [ "idris" ] }