Rewrite the section on dependent types a bit
Rewrite the section on dependent types a bit

HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io,HypothesisWorks/HypothesisWorks.github.io