Gérard Huet Emojis

We've searched our database for all the emojis that are somehow related to Gérard Huet. Here they are! There are 8 of them, and the most relevant ones appear first.