22:55 <aryehh> Where can I find a formal specification of Racket, were I to be interested in writing a toy interpreter?

22:56 <aryehh> Ah -- perhaps this: https://docs.racket-lang.org/reference/syntax-model.html#%28part._fully-expanded%29

23:07 <aryehh> ^ regarding the above spec, however, I don't see, say, `define`; obviously such a method could be implemented by a primitive such as `define-values`; yet I wonder if there is a place where one could find a specification that would include seeming primitives such as `define` as well.

23:08 <aryehh> Perhaps here is where one would want to look, but not certain -- in case someone could verify -- https://docs.racket-lang.org/guide/define.html

23:23 <bremner> Generally the guide is less formal than the reference manual

23:26 <bremner> https://docs.racket-lang.org/reference/define.html#%28form._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._define%29%29

23:26 <rudybot> https://teensy.info/pxNb0gqaDI