I'm a PhD candidate, currently working on program synthesis, compiler plugins and the GHC compiler. I've also worked on numerous backends in Python and Haskell, with some frontend JS and TypeScript experience as well. Feel free to get in touch on Twitter (@tritlo) if you want to collaborate!
tritlo / doom-config Goto Github PK
View Code? Open in Web Editor NEWMy Doom Emacs config