Skip to content

Change third metadata line to domain#90

Merged
istathar merged 2 commits intotechnique-lang:mainfrom
istathar:template-to-domain
Mar 11, 2026
Merged

Change third metadata line to domain#90
istathar merged 2 commits intotechnique-lang:mainfrom
istathar:template-to-domain

Conversation

@istathar
Copy link
Copy Markdown
Member

We've realized that "template" really refers to the layout and styling used to present a formatted technique when rendered. There are different kinds of Technique, different application domains, and so we rename the metadata line which indicates which kind of procedure a Technique document is to become the "domain line".

Internally we change the names of the domain and range genus in the signature of a procedure declaration to be depends and provides.

Implements:

@istathar istathar self-assigned this Mar 11, 2026
@istathar istathar requested a review from jaesharp March 11, 2026 00:21
Copy link
Copy Markdown
Member

@jaesharp jaesharp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

https://www.debian.org/doc/debian-policy/ch-relationships.html ... this can get pretty complicated, so we should watch out for these issues and/or keep them in mind as we start using 'requires' and 'provides'

@istathar
Copy link
Copy Markdown
Member Author

Yeah. Right now it's a purely internal name. Could have been from and to but your suggestion makes for petty good variable names.

@istathar istathar merged commit bd362f9 into technique-lang:main Mar 11, 2026
1 check passed
@istathar istathar deleted the template-to-domain branch March 11, 2026 05:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants