about me
Hello :)
My name is Clarisse, but people commonly call me
lexa. You can use my name (preferred), they or
it pronouns to refer to me. I am a student in computer
science speaking french and english.
I like category theory, linguistics,
music and graphic design.
projects
Lexie
Lexie is a programming language inspired from OCaml and Rocq. Its type system is based on the Calculus of Constructions type theory, and as such, it is dependently-typed.
I have not formalized the grammar, so there is no example snippet yet.
socials