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 correctly. I
assume this is some kind of fonts problem? Mind you, at some point in
the past (some months ago? Not sure unfortunately... Haven't --that i
know of-- changed anything related on my system recently) it all did
work as expected...
So here's a dummy function i want to print:
(define-metafunction frooglebluh
[(different X_1 X_1) #f]
[(different X_1 X_2) #t])
(render-metafunction different "fn:different.pdf")
Unfortunately, this gives me the attached PDF output! The ⟦⟧ characters
are all messed up :(. Note that in my Emacs (racket-mode) and DrRacket
REPL it is broken too, but i hoped that the PDF would be fine...
Any ideas?
Thanks,
p.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
fn:different.pdf
Description: Adobe PDF document
