82 views

member of (1)

~/
containment 1 · border 0vote§
~/dependentness
vote on this item

prompt

Ranking all types of type theory by how dependent they are.
discussed in #dependentness

ranked child groups
vote on children

no voted pairs yet in this scope

score history draws itself once two or more members carry votes — vote on children
unranked

:dependentness vote

ordering 1 items=4 pairs=4
  1. ~/eduardorfs-type-theory0.345
  2. ~/insane-pi0.316
  3. ~/dependent-type-theory0.226
  4. ~/normal-type-theory0.113
cli
src
spread
search