docs: Language guide for libraries#104
Conversation
|
Did you intentionally target the |
|
Yes. This is to signal that we should make the remainder of the documentation update available first before we merge the language guide. Even more so now that the release with libraries in it was pulled. |
maximilianruesch
force-pushed
the
mr/docs/libraries-guide
branch
from
56a287c to
9d9cacd
Compare
CalMacCQ
left a comment
CalMacCQ
left a comment
There was a problem hiding this comment.
Looks very nice. Thanks for adding this section.
A few minor comments.
| from guppylang.std.builtins import result | ||
| from hugr.package import Package | ||
|
|
||
| # --- SNIP --- |
There was a problem hiding this comment.
What is the purpose of these --- SNIP --- lines? Did you intend for them to show up in the html pages like this?
There was a problem hiding this comment.
They are intended to show that the displayed code is not something that adds meaning for this section, but rather as a refresher from some other (earlier) code snippet on the page. Called SNIP to signify how someone would could the code with a scissor to insert it here.
CalMacCQ
left a comment
CalMacCQ
left a comment
There was a problem hiding this comment.
Thanks Max, happy to have this merged
2 participants
Closes #103