[racket-users] Call for Tutorial Proposals: ICFP 2020

2020-06-16 Thread 'Sam Tobin-Hochstadt' via users-redirect
CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Virtual https://icfp20.sigplan.org/

[racket-users] Re: scribble: how to put a bar above text?

2020-06-16 Thread Ryan Kramer
Oh my gosh, I almost forgot about Unicode tricks! (I wish I knew more about Unicode). Here is a macron: ā. And it seems there's a lot more you can do: https://qualityandinnovation.com/2014/11/22/typing-x-bar-y-bar-p-hat-q-hat-and-all-that/ These will work just fine inside a Racket source file.

[racket-users] Re: scribble: how to put a bar above text?

2020-06-16 Thread Ryan Kramer
Something things in scribble have a `#:style` argument. And most things in scribble can be contained inside a `nested` or `elem`, to which you could apply your custom #:style. You can use this as a hook to a custom CSS file, where you could maybe use "text-decoration: overline;" if that looks go

Re: [racket-users] scribble: how to put a bar above text?

2020-06-16 Thread Kieron Hardy
FYI: As of Windows 10, you can install a full Linux distro in/on Windows. Here are the instructions: https://docs.microsoft.com/en-us/windows/wsl/install-win10 > On Jun 16, 2020, at 11:39 AM, Jos Koot wrote: > > Hi, > Thanks for your prompt reply. > I’ll first look into Mathjax. It’s on github

RE: [racket-users] scribble: how to put a bar above text?

2020-06-16 Thread Jos Koot
Hi, Thanks for your prompt reply. I’ll first look into Mathjax. It’s on github, so I suppose I can download it without charges. Using head-extra seems straight forward, but I never used it before. I’ll see what happens. I hope it works with the scribble HTML button in DrRacket, for it seems I do

Re: [racket-users] scribble: how to put a bar above text?

2020-06-16 Thread Stephen De Gabrielle
Hi Jos MathML support via the tag is not good. I suspect the best option is to use Mathjax https://www.mathjax.org/#gettingstarted I think you use `head-extra`[1] to add the required script tags[2] to your file. (not done this myself though so I'm not sure how) [1] https://docs.racket-lang.org

[racket-users] scribble: how to put a bar above text?

2020-06-16 Thread Jos Koot
Hi, Using scribble when writing a text containing Boolean expressions it would be nice to write ‘not(A+B)’ as ‘A+B’ with a bar above it. An expression like not(not(A)+not(B)) would need bars above the A and the B as well above the whole. Is this possible? I have found no solution in the scribbl

[racket-users] Racket News - Issue 33

2020-06-16 Thread Paulo Matos
Hi all, I relatively quiet issue from Racket News is here: https://racket-news.com/2020/06/racket-news-issue-33.html Enjoy and don't forget to fill in the RacketCon 2020 survey form. -- Paulo Matos -- You received this message because you are subscribed to the Google Groups "Racket Users" gr