typ : dev

Essays and Notes

• Notes on Engine Development
• Introduction to Effect Systems
• Notating the Has-Type Relation
• Statements and Expressions
• Advocating for Women in stem

Proxima and Ephemera

• I’ll be speaking at RustWeek 2026.
• Here’s me at RustConf ! ( 2^d f. left )

The Zulip instance is located at zulip.typ.dev.

Repositories are located at git.typ.dev.