Hi Mark, Welcome!
The Typed Racket issues page on GitHub has a list of "small" tasks that need solving: https://github.com/racket/typed-racket/issues and the Typed Racket pull requests page has tasks that are currently being solved, or partial solutions that you might want to contribute to: https://github.com/racket/typed-racket/pulls I think you should browse those pages, solve an issue or two, and then decide on a (4-month?) challenge problem that fits your interests. Ben -- 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/CAFUu9R7gRZewBh0uzPK%2BjTim5SOVBVORRLb3ecscSNRDCprQ%3DA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
