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 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.
More information about the Gemini
mailing list