[racket-users] Call for Tutorial Proposals: ICFP 2020
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/ The 25th ACM SIGPLAN International Conference on Functional Programming will be held virtually on August 23-28, 2020. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". This year, following the success of the #ShutDownPL event, we are also inviting proposals for panels and discussions on topics of broader interest to the PL community. Tutorials, panels, and discussions may occur before or after ICFP, co-located with the associated workshops, on August 23 or August 27-28. -- Submission details Deadline for submission: July 17th, 2020 Notification of acceptance: July 22nd, 2020 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2020 workshop co-chairs (Jennifer Hackett and Leonidas Lampropoulos), via email to icfp-workshops-2...@googlegroups.com by July 17th, 2020. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by July 22nd, 2020. The proposal form is available at: http://www.icfpconference.org/icfp2020-files/icfp20-panel-form.txt http://www.icfpconference.org/icfp2020-files/icfp20-tutorials-form.txt -- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2020 organizing committee. Tutorials Co-Chair: Jennifer Hackett(University of Nottingham) Tutorials Co-Chair: Leonidas Lampropoulos (University of Maryland) General Chair: Stephanie Weirich (University of Pennsylvania) Program Chair: Adam Chlipala(MIT) -- Further information Any queries should be addressed to the tutorial co-chairs (Jennifer Hackett and Leonidas Lampropoulos), via email to icfp-workshops-2...@googlegroups.com -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/5ee961816bc99_223a22abfa25865c410440%40homer.mail.
[racket-users] Re: scribble: how to put a bar above text?
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. On Tuesday, June 16, 2020 at 7:41:08 AM UTC-5, jos.koot wrote: > > > 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 scribble docs. > I have looked into some HTML tutorials too, but did not find what I want. I > am an ignorant with respect to HTML. And even when I would know how to do > it in HTML, I also would need to know how to transfer the tool to scribble. > > Thanks, Jos > -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/f5b741c7-e793-47ec-be30-a16d5223f5c4o%40googlegroups.com.
[racket-users] Re: scribble: how to put a bar above text?
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 good to you. (Although if you anticipate needing more math typesetting capabilities, HTML+CSS will probably fail you. Mathjax sounds good.) Basically, if you can hand-write HTML that looks good to you, you can probably get Scribble to do what you want. The relevant reading, I believe, is "styles" and `make-css-addition`, starting here: https://docs.racket-lang.org/scribble/config.html Or, if you want to see a real example, I just did one: https://docs.racket-lang.org/plisqin/Refactoring_Recipes.html This uses a custom "PGreen" CSS class. You might be able to see how it all gets wired up by looking at these files: https://github.com/default-kramer/plisqin/search?q=PGreen_q=PGreen Hope this helps! But there no way to explain this with a little 10-line example, unfortunately. On Tuesday, June 16, 2020 at 7:41:08 AM UTC-5, jos.koot wrote: > > > > 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 scribble docs. > I have looked into some HTML tutorials too, but did not find what I want. I > am an ignorant with respect to HTML. And even when I would know how to do > it in HTML, I also would need to know how to transfer the tool to scribble. > > Thanks, Jos > -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/9fa457fc-3f5a-4277-8ca8-2841d7a7b6bdo%40googlegroups.com.
Re: [racket-users] scribble: how to put a bar above text?
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, 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 > not have the required software to use the scribble PDF button. (I tried to > download the required software, but it did not work. May be windows 10 poses > a problem (well, it always does). It would be nice to have Unix as a > subsystem within windows, but I don’t know whether or not that is possible.) > Thanks again, Jos > > > From: Stephen De Gabrielle > Sent: 16 June 2020 19:02 > To: Jos Koot > Cc: us...@racket-lang.org > Subject: Re: [racket-users] scribble: how to put a bar above text? > > 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/scribble/core.html#%28def._%28%28lib._scribble%2Fhtml-properties..rkt%29._head-extra%29%29 > > [2] > https://polyfill.io/v3/polyfill.min.js?features=es6"> > src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"> > > -- > 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. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/5ee903dd.1c69fb81.14578.f52a%40mx.google.com. -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/873D89F5-9963-421F-B151-2485CFC38392%40gmail.com.
RE: [racket-users] scribble: how to put a bar above text?
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 not have the required software to use the scribble PDF button. (I tried to download the required software, but it did not work. May be windows 10 poses a problem (well, it always does). It would be nice to have Unix as a subsystem within windows, but I don’t know whether or not that is possible.) Thanks again, Jos From: Stephen De Gabrielle Sent: 16 June 2020 19:02 To: Jos Koot Cc: us...@racket-lang.org Subject: Re: [racket-users] scribble: how to put a bar above text? 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/scribble/core.html#%28def._%28%28lib._scribble%2Fhtml-properties..rkt%29._head-extra%29%29 [2] https://polyfill.io/v3/polyfill.min.js?features=es6"> https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"> -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/5ee903dd.1c69fb81.14578.f52a%40mx.google.com.
Re: [racket-users] scribble: how to put a bar above text?
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/scribble/core.html#%28def._%28%28lib._scribble%2Fhtml-properties..rkt%29._head-extra%29%29 [2] https://polyfill.io/v3/polyfill.min.js?features=es6"> https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"> -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAGHj7-J%3DOvCDLC%3D-b8Gf5br7%2Bn-TKwGot3HgZvRMt4Y1c5QKkA%40mail.gmail.com.
[racket-users] scribble: how to put a bar above text?
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 scribble docs. I have looked into some HTML tutorials too, but did not find what I want. I am an ignorant with respect to HTML. And even when I would know how to do it in HTML, I also would need to know how to transfer the tool to scribble. Thanks, Jos -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/5ee8bddd.1c69fb81.0a99.bd38%40mx.google.com.
[racket-users] Racket News - Issue 33
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" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/bbbfe305-b2c2-4f4f-850e-441bfb054a10n%40googlegroups.com.