fmease.dev [email protected]
lcnr GmbH Germany highly interested in type theory, programming language design and natural languages || active rustc & rustdoc contributor & reviewer
León Orell Valerian Liehr
Lift enum variants to the type-level.
fmease