{"shas":[["81d4910235dce0f6571618293a44b59478692bb4","759d6fcfa1e495936c77447ef08f8948c935f2ac@gmail.com","type checking for row dots, but no reduction for row dots yet","Jesse A. Tov"]],"ref":"refs/heads/inference","size":1,"head":"81d4910235dce0f6571618293a44b59478692bb4","push_id":37504539}