Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

lib: add file universe, describing universe and how it may be used #2625

Conversation

michaellilltokiwa
Copy link
Member

Copy link
Collaborator

@maxteufel maxteufel left a comment

Choose a reason for hiding this comment

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

The documentation generator should probably consider a special case for this and include this file as documentation for the universe feature, otherwise this is a bit useless.

@michaellilltokiwa
Copy link
Member Author

@maxteufel Yes, good idea.

@fridis
Copy link
Member

fridis commented Feb 28, 2024

Since we define a number of features in the universe, e..g., type_of or infix =, I think it is good to have this file, such that we have a default place to put such features if there is no other good place. Not suggesting to move any of these, though.

@michaellilltokiwa michaellilltokiwa merged commit dce3eca into tokiwa-software:main Mar 1, 2024
4 checks passed
@michaellilltokiwa michaellilltokiwa deleted the lib_file_add_universe_desc branch March 1, 2024 08:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants