| 11. | During Winter 2012, Summon was selected to participate in Y Combinator.
|
| 12. | LendUp graduated out of the Y Combinator batch of 2012.
|
| 13. | The company was funded by Y Combinator in the summer of 2011.
|
| 14. | In 2010, Gross was accepted in to the Y Combinator program.
|
| 15. | LendEDU was accepted as part of Y Combinator accelerator program in 2016.
|
| 16. | The Y combinator is an example of what makes the Lambda calculus inconsistent.
|
| 17. | In the summer of 2014, Sam Altman became president of Y Combinator.
|
| 18. | In 2013, Y Combinator began accepting nonprofit organizations.
|
| 19. | The Y-Combinator calls its parameter ( function ) repeatedly on itself.
|
| 20. | Proofs in the Hilbert system then correspond to combinator terms in combinatory logic.
|
