On Wed, Oct 8, 2014 at 10:51 AM, Victor Barua <victor.ba...@gmail.com> wrote:
> I'm a senior Computer Science undergraduate student at the University of > British Columbia. As part of my degree I have to complete an undergraduate > thesis which is a project of around 220 hours between now and next April. > Rust is a language that has caught my eye and I would be very interested in > working on something related to it that I could contribute back to the > community at the end of my project. > What are you interested in? I think it'd be really cool to create a language based on Rust for proving properties about Rust programs using things like dependent types, refinement types, or otherwise. -- Tony Arcieri
_______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
