Dhall description of Gemini

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.