https://boxyuwu.itch.io [email protected]
UK @rust-lang type system team member and const generics group lead. Also working on documenting the type system.
Boxy