Full threadmian2zi3·Learn a dependent-typed programming language like Agda or Epigram or Coq.View on HN