Text this: Simplicial and Dendroidal Homotopy Theory