1. 18
  1.  

  2. 1

    That is a long winded way to describe dependent types.

    1. 4

      I thought it was quite approachable and took an angle that helped reinforce my (limited) understanding of dependent types.