test.pdf
I am willing to show the language icon but hide its name, but I only get a colored circle. What am I doing wrong by entering:
#import "@preview/codly:1.3.0": *
#show: codly-init
#import "@preview/codly-languages:0.1.10": *
#codly(languages: codly-languages,
display-name: false)
- The ring of integers:
``lean
instance instCommRing : CommRing ℤ where …
``
``typst
Hello world *in italics*
``
(Only on this example did I enter two backticks around the codes, because the three backticks confused github's pretty printer.)
test.pdf
I am willing to show the language icon but hide its name, but I only get a colored circle. What am I doing wrong by entering:
(Only on this example did I enter two backticks around the codes, because the three backticks confused github's pretty printer.)