AL: A new declarative language for detecting bugs with Infercode.facebook.com4 pointsnayrmi9 years ago