Skip to content
This repository was archived by the owner on Mar 6, 2023. It is now read-only.

Conversation

@cgranade
Copy link
Contributor

No description provided.

Copy link

@tcNickolas tcNickolas left a comment

Choose a reason for hiding this comment

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

Could you please clarify the purpose of this change in the commit description when you merge the PR? It's probably obvious for somebody who speaks TeX natively, but my relationship with it is at most a truce, so a brief comment like "Literate mode allows to typeset Q# code nicer in non-monospace fonts" would help a lot. (Assuming I interpreted the purpose of literate mode correctly... I don't think it would be used for normal listings, it looks like those characters are not copy-pastable.)

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants