Stream: new members

Topic: Nadrieril

Nadrieril (Nov 09 2019 at 09:19, on Zulip):

Hello, I'm Nadrieril ! I've got a background in theoretical CS and I do Rust for fun. I'm the core developer of dhall-rust and I'm currently working on some PRs to rustc on the exhaustive match check algorithm. I'm excited about contirbuting to rustc and I hope I can keep doing more of that

Nadrieril (Nov 09 2019 at 09:22, on Zulip):

Also I'm currently in RustFest, I'd be happy to meet other contributors there :)

Last update: Nov 25 2020 at 03:00UTC