See [here](http://uf-ias-2012.wikispaces.com/Semi-simplicial+types) for now. [[!redirects semisimplicial types]]