Hello! I'm Eashan Hatti.

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

Check out these projects of mine: You can contact me at eashanhatti at gmail dot com