Skip to content

twitu/twitu

Repository files navigation

My simple web page πŸ˜‡

πŸ§‘β€πŸŽ“ I'm working on the MLscript language at the TACO research group. It implements a sophisticated type system that infers the most general type, the principal type, for an expression.

πŸ’» I enjoy topics related compilers, type systems and programming languages implementation. On the side I contribute to open source projects in Haskell or Rust πŸ¦€.

✍️ Occasionally, I write about my projects or topics I have explored to some depth. Below are two you may find interesting.

Comments are welcome and encouraged. You can file an issue or directly comment in the commit specific file.

🎨 I explored a few blogging options but finally decided not go down that rabbit hole. Github and markdown is a "sasta, sundar, tikau" combination (trans. thrifty, beautiful and lasting) that suits me well.

About

My simple web page

Resources

Stars

Watchers

Forks