[pollen] Re: Typesetting Racket code with Pollen

2017-12-15 Thread Matthew Butterick
Neither. The code is tagged with Pygments. The terms that end up in the `k` 
and `nb` classes are Racket identifiers. These are passed through a 
function that generates a link to the docs, derived from the `docs` 
function here. [1] Then a few housekeeping details to make everything look 
right.

[1] https://unitscale.com/mb/technique/pollen.rkt.html


On Friday, December 15, 2017 at 10:57:23 AM UTC-8, Alexis King wrote:
>
>
> I notice that in Beautiful Racket you have nicely typeset and 
> hyperlinked Racket code, a la Scribble. Did you write something to do 
> this automatically using for-label requires, like Scribble does, or did 
> you insert the links manually?

-- 
You received this message because you are subscribed to the Google Groups 
"Pollen" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to pollenpub+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


[pollen] Re: Typesetting Racket code with Pollen

2017-12-20 Thread Alexis King
Thank you! That’s helpful. (And apologies for the belated response—for 
whatever reason, Google Groups did not send me your reply by email.)

On Friday, December 15, 2017 at 9:35:09 PM UTC-8, Matthew Butterick wrote:
>
> Neither. The code is tagged with Pygments. The terms that end up in the 
> `k` and `nb` classes are Racket identifiers. These are passed through a 
> function that generates a link to the docs, derived from the `docs` 
> function here. [1] Then a few housekeeping details to make everything look 
> right.
>
> [1] https://unitscale.com/mb/technique/pollen.rkt.html
>
>
> On Friday, December 15, 2017 at 10:57:23 AM UTC-8, Alexis King wrote:
>>
>>
>> I notice that in Beautiful Racket you have nicely typeset and 
>> hyperlinked Racket code, a la Scribble. Did you write something to do 
>> this automatically using for-label requires, like Scribble does, or did 
>> you insert the links manually?
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"Pollen" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to pollenpub+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.