1. 17
  1. 2

    Question: what would be a good progression for a FP / Haskell programmer to internalize HoTT ideally in context of a programming language (like Agda)? Should they start studying it directly, or go through other theories (set theory, category theory, type theory, etc.) first?

    1. 5