{"shas":[["4c87e4ef58b3cde243c0f33d4fdfcb95fe9b4fae","759d6fcfa1e495936c77447ef08f8948c935f2ac@gmail.com","lambda, variables, and data constructors seem to work","Jesse A. Tov"],["602a1bd68237fb4055a26833c3284819ca9d3786","759d6fcfa1e495936c77447ef08f8948c935f2ac@gmail.com","some fcp works","Jesse A. Tov"],["6216f0a531cf3fa9f28614e8111482c215fc9607","759d6fcfa1e495936c77447ef08f8948c935f2ac@gmail.com","All old tests pass with first class polymorphism added.","Jesse A. Tov"],["7f4a57497adb4083114ff3b011a5c0f0d9555e76","759d6fcfa1e495936c77447ef08f8948c935f2ac@gmail.com","more FCP tests pass, including ST monad examples","Jesse A. Tov"]],"ref":"refs/heads/firstclasspoly","size":4,"head":"7f4a57497adb4083114ff3b011a5c0f0d9555e76","push_id":35200991}