💾 Archived View for gemi.dev › gemini-mailing-list › 000331.gmi captured on 2023-12-28 at 15:45:30. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-11-04)
-=-=-=-=-=-=-
Hello, I wrote a description of Gemini text using the total functional language Dhall which can potentially be used for document generation. The description is made with only the primitives of the language, and if anyone else finds it useful, could lead to a canonical Dhall represenation that can be used in reusable document generation libraries. Eventually I plan to use the description for some self-documenting system stuff. There are basically two components to the description, the type and rendering function: https://git.sr.ht/~ehmry/dhall-gemini/tree/master/Line.dhall https://git.sr.ht/~ehmry/dhall-gemini/tree/master/render.dhall I wrote a small example of how to use the description: gemini://gemini.spam.works/users/emery/dhall-gemini.gmi Cheers, E.
---