Argus
An experimental type-level debugger for Rust traits
Greetings! I research the human factors of programming language design and want the next generation of programming languages to be more accessible.
I’m a member of the Cognitive Engineering Lab at Brown University. My research focuses currently on Rust, but I secretly enjoy programming with parentheses.
If you’re interested in my reseach don’t hesitate to contact me.
An experimental type-level debugger for Rust traits