objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Extend the README #368

Open deemp opened 3 months ago

deemp commented 3 months ago

@yegor256 suggested to extend the README (link) with:

yegor256 commented 3 months ago

@deemp please, don't forget to remove this information from the statically generated site, to avoid duplication

deemp commented 3 months ago

@yegor256, good point. I'm not sure we should avoid duplication here. Some people may prefer to read the site instead of the README. Hence, they may want to read the project overview and the quick start on the site.

I believe we can share some sections between README and the site. mdbook and mdsh (tools that we use) allow inlining files.

yegor256 commented 3 months ago

@deemp sure, rendering it in both places is fine, as long as you don't duplicate the content inside the repo