On Thu, Jan 18, 2018 at 4:39 PM, Vincent St-Amour <[email protected]> wrote: > Robby Findler > - add #:codomain to reduction-relation (9e1d31b8 @ redex)
Doesn't seem important enough. Robby -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAL3TdONeHC8jSMjbPZnZ02tv6aGmDsPtGQJ5u1Gk70U0LQE9%3DQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
