Xavier Ripoll

Nice to meet you! I am a software developer with interest in type theory, programming languages, and proof assistants

• Take a look at what I code and what I write
• See the movies, books, and music I'm into

If you want to get in touch with me, send me an email at