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

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

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

For some work I have done on the OCaml compiler you can check out http://otini.chnik.fr/.

Glad to be here :)