ParentFull threadmkramlich·http://en.m.wikipedia.org/wiki/Type_theoryWikipedia and Google are quick ways to answer most kinds of "what is X?" questions.View on HN