- Transforming Haskell into a more flexible, typed and compact C++/TypeScript
- Exporting Haskell to C or JS
- 🌱 I’m currently learning Linear logic and Linking headers
- 📫 How to reach me: [email protected]
- âš¡ Fun fact: Solving formal problems led to linking tasks