birth_date: None
avg_rating: 4.18
name: Adam Chlipala
death_date: None