Hello! I'm Eashan Hatti.

I'm a student primarily interested in programming languages and type theory.

Check out these projects of mine: