Welcome to my Github! Hello! I'm Eric! Personal Website: ericchanlee.com I'm interested in Functional Programming, Compilers, Programming Languages, Formal Verification Terminally on Neovim