Hi everyone! I'm new here so, time for an #introduction?
For some work I have done on the OCaml compiler you can check out http://otini.chnik.fr/.
Glad to be here :)
@otini Nice! Welcome! 😀
@MutoShack Thanks 😃
@otini Welcome aboard!
@mdallastella Thank you, and many thanks for running this instance!
@otini What's M2? Category theory is so interesting! I want to learn more about it
@stripey M2 stands for 2nd year of Masters. I want to learn more about it too! 😄 I'm interested in category theory in principle but never found the time to dig into it seriously on my free time.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!