<ul><li><a target="_blank" href="http://package.elm-lang.org/packages/joneshf/elm-proof/1.1.0/">elm-proof</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Homotopy_type_theory#The_univalence_axiom.2C_synthetic_homotopy_theory.2C_and_higher_inductive_types">The Univalence axiom</a></li><li><a target="_blank" href="https://homotopytypetheory.org/book/">The HoTT Book</a></li><li><a target="_blank" href="http://amzn.to/2bfsKlN">The Life-Changing Magic of Tidying Up</a> - Marie Kondo</li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Katamari_Damacy">Katamari Damacy</a></li><li><a target="_blank" href="http://amzn.to/2bkXNd0">It's All Too Much</a> - Peter Walsh</li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Church_encoding">Church Encoding</a></li><li><a target="_blank" href="http://www.reactrally.com/#/">React Rally</a></li></ul>

elm-proofThe Univalence axiomThe HoTT BookThe Life-Changing Magic of Tidying Up - Marie KondoKatamari DamacyIt's All Too Much - Peter WalshChurch EncodingReact Rally

<ul><li><a href="http://package.elm-lang.org/packages/joneshf/elm-proof/1.1.0/" rel="noopener noreferrer">elm-proof</a></li><li><a href="https://en.wikipedia.org/wiki/Homotopy_type_theory#The_univalence_axiom.2C_synthetic_homotopy_theory.2C_and_higher_inductive_types" rel="noopener noreferrer">The Univalence axiom</a></li><li><a href="https://homotopytypetheory.org/book/" rel="noopener noreferrer">The HoTT Book</a></li><li><a href="http://amzn.to/2bfsKlN" rel="noopener noreferrer">The Life-Changing Magic of Tidying Up</a>&nbsp;- Marie Kondo</li><li><a href="https://en.wikipedia.org/wiki/Katamari_Damacy" rel="noopener noreferrer">Katamari Damacy</a></li><li><a href="http://amzn.to/2bkXNd0" rel="noopener noreferrer">It's All Too Much</a>&nbsp;- Peter Walsh</li><li><a href="https://en.wikipedia.org/wiki/Church_encoding" rel="noopener noreferrer">Church Encoding</a></li><li><a href="http://www.reactrally.com/#/" rel="noopener noreferrer">React Rally</a></li></ul>

Space Type Fibration

Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.

Share Space Type Fibration

Sign up to save your podcasts

Space Type Fibration

Space Type Fibration