Victoria, Australia

Stream: Geographic locality

[Sofia]

Hello world.

[Brendan Zabarauskas]

Hello! I'm in Melbourne!

I currently mess around making dependent type systems, and am interested in PL design and making fancy type systems accessible to more people. I've also played with Lean sometimes over the years as well (I've always loved the editor support). Lean 4 is particularly fun, even if I've been struggling a bit to install it on my new system, hah

[Moritz Doll]

:kangaroo: