Hi everyone! I'm new here so, time for an ?

I'm an M2 student living near Paris, interested in :
• Type systems (Curry-Howard ❤ )

Today I program a lot in , because French research teams use it a lot, but I also use and I like dependently-typed languages like .

For some work I have done on the OCaml compiler you can check out

Glad to be here :)

@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.

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!