Follow

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 otini.chnik.fr/.

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é

functional.cafe is an instance for people interested in functional programming and languages.