标签：powerful

Named by The Washington Post as one of the 11 Leadership Books to Read in 2018 When it comes to recruiting, motivating, and creating great teams, Patty McCord says most companies have it all wro...

标签：Culturemccordmotivatingpattymccordplanspowerfulpowerfulbuildingacultureoffreedomandresponsibilityshe

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a langua...

标签：dependentfirstLanguagelittlemuchpowerfulprogramtypertypes