fmease
León Orell Valerian Liehr he/him they/them
software engineer,
computer science / informatics student,
highly interested in type theory,
programming language design and
natural languages;
loves to draw,
Karateka,
German citizen
active contributor to the compiler of the
Rust
programming language,
rustc,
and to its documentation generator
rustdoc;
rustc and rustdoc reviewer; member of the Rust teams
compiler-contributors
and
rustdoc-contributors
slowly but surely working on a dependently-typed programming language
called Lushui