On 2015-08-18 at 22:40, quoth Robby Findler:
> Okay, when you run this program, it will create "tmp.pdf". Does it
> contain the same two pairs of white brackets?
I confirm that the PDF contains correct brackets.
--
You received this message because you are subscribed to the Google Groups
"Rack
Hello again,
I have a minor issue, i want to render a collection of metafunctions
into a PDF, with their RHS aligned.
According to the docs, the following should be valid:
(render-metafunctions varname lookup
#:file "all-metafunctions.pdf"
#:cont
Hi Robby,
On 2015-08-18 at 19:29, quoth Robby Findler:
>> c) can i make the Unicode approach work? It seems like The Right Thing
>>To Do. Not super important though.
>
> You would need to install a font that has that glyph, I believe. Maybe
> the STIX fonts are good ones to try.
Does the PD
Hey Matthew,
On 2015-08-18 at 18:16, quoth Matthew Flatt:
> The change was probably the switch from using "homemade" white-brackets
> to using the white-bracket Unicode character.
OK, two questions:
a) this fixes PDF generation, great, thanks!
b) however, when i do the following:
(paramete
Hello Racketeers,
I have been using Redex a bit more (finally beginning to understand one
or two things, yay!), but i'm having a rather banal technical problem.
I have a bunch of typing judgements and metafunctions which i would now
like to typeset, but the ⟦⟧ characters are not showing up correc
On 2015-08-12 at 18:29, quoth Jens Axel Søgaard:
> How does Scribble typeset the lambda?
I was curious about that too. As far as i can see, it's something like
my first option was.
\newcommand{\RktSym}[1]{\inColor{IdentifierColor}{#1}}
...
\RktSym{$\lambda$}
Unfortunately, that render
Hello Racketeers,
Of course, i should be doing something useful, like writing my thesis.
Instead, i am obsessing over typesetting details.
I use fixed-width fonts (the LaTeX package beramono, to be precise) for
my code snippets. I use the listings package too. This allows me to
mark words such
Hello Racketeers,
TLDR: I want to implement [1] using Redex.
I hope somebody can shed some light on my problem. I'm trying to use
Redex (which looks super cool, but i'm having trouble wrapping my head
around all of it), and i'm a little stuck (i've tried RTFM, but i'm a
little lost anyway). I won
8 matches
Mail list logo
