benediktahrens
released this
16 May 20:04
·
439 commits
to master
since this release
Merge pull request #173 from fizruk/AKLV/typecat-comprehension_cat_equiv Type categories are equivalent to (full and faithful) comprehension categories