On Monday, July 15, 2019 at 3:38:22 PM UTC-6, Hendrik Boom wrote:
>
> (2) How can I produce category-theoretical diagrams, such as the one on
> top of
> page 29 in section 3.7 in the pdf file
> https://www.logicmatters.net/resources/pdfs/GentleIntro.pdf
> Oh yes, category theorists also use d
Matthew Butterick may be able to jump in here and answer better than I can
but you might want to look at Pollen https://docs.racket-lang.org/pollen/ and
language that he built on top of Scribble for publishing both on the webs
and in print
I am not sure about the speed since Pollen relies on
2 matches
Mail list logo
