Hirrolot’s Blog

I’m a 17 y/o software engineer, most known for my work on teloxide and advanced metaprogramming (Metalang99 & Datatype99).
Over the last few years, I’ve been passionate about programming language design, type theory, formal logic, and related disciplines.
Welcome to my blog!

GitHub · Twitter · Reddit · Telegram · RSS · Gmail

2021