💾 Archived View for rawtext.club › ~sloum › geminilist › 002443.gmi captured on 2020-10-31 at 14:33:02. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Dhall description of Gemini

Emery Hemingway ehmry at posteo.net

Tue Aug 18 13:50:03 BST 2020

- - - - - - - - - - - - - - - - - - -

Hello,

I wrote a description of Gemini text using the total functional languageDhall which can potentially be used for document generation. Thedescription is made with only the primitives of the language, and ifanyone else finds it useful, could lead to a canonical Dhall represenationthat can be used in reusable document generation libraries. Eventually Iplan to use the description for some self-documenting system stuff.

There are basically two components to the description, the type andrendering function:

https://git.sr.ht/~ehmry/dhall-gemini/tree/master/Line.dhallhttps://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.