LambdaCat Programming project for the course "2.4 - Functional programming and type systems" at MPRI (Paris-Diderot).