HoTT was a popular topic in the Haskell ecosystem a little while back, so worth digging around there for info: - https://softwareengineering.stackexchange.com/

HoTT was a popular topic in the Haskell ecosystem a little while back, so worth digging around there for info: - https://softwareengineering.stackexchange.com/questions/262377/what-are-the-practical-implications-of-homotopy-type-theory-in-programming https://softwareengineering.stackexchange.com/questions/2623... - https://www.reddit.com/r/haskell/comments/6nxgkc/similarities_and_differences_between_homotopy/ https://www.reddit.com/r/haskell/comments/6nxgkc/similaritie... - https://bartoszmilewski.com/category/homotopy-type-theory/ https://bartoszmilewski.com/category/homotopy-type-theory/