fmease profile picture

fmease /ʔɛf.ˈmiːz/ or /ʔɛf.ˈmis/

León Orell Valerian Liehr /le.'ɔn ʔo.'rɛl va.'leː.rjan liːɐ̯/
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 and reviewer for rustc, the compiler of the Rust programming language, and to rustdoc, its documentation generator; member of the compiler team and the rustdoc team

slowly but surely working on a dependently-typed programming language called Lushui