Ben Greenman

Try changing `render-nested-flow`. Look for the style `'code-inset`.

I don't know what's wrong, but I found that running `scribble --pdf` on this program produces a pdf with no "the end" in it (neither "this is the end" nor...

fwiw, you might be able to use [Tectonic](https://tectonic-typesetting.github.io/en-US/) with: ``` $ scribble --latex FILE.scrbl $ tectonic FILE.tex ```

I, Ben Greenman, give permission to license my contributions to Rash under MIT/Apache 2. I've used the email address [email protected] MIT: ``` Copyright 2014–2021 Ben Greenman Permission is hereby granted,...

> Were you also thinking that the examples form could look at the bindings of all identifiers used and automatically include the needed (require ...) form? Yes. Also any definitions...

What if `defmodule` took an optional "external link" argument? Something like: `@defmodule[mock #:url "pkgd.racket-lang...."]`

Unions should have static checks, right? @vivaan2006 and I just ran a small program. We expected a typechecker error, but no: ``` def foo(i: float) -> None: return i #...

Ok, I was confused about the extent of compiler support for unions. The examples help: there's support for those organic unions but everything else is dynamic. The `reveal_type(x) = dynamic`...

Ideas: - let `require/untyped-contract` know what language the server is using - use `unsafe-require/typed` somehow inside `require/untyped-contract` --- which probably means we need to fix `unsafe-require/typed` to work for optional/shallow...

Hi Raol, sorry I am so slow. Just want you to know that I know this PR exists and will take a look soon!