• #social 2015-10-06
  • Prev
    Next
  • #social
#social ≡
  • ←
  • →
2015-10-06 UTC
# 18:06
wilkie
besides, a 15-step algorithm is an ordering anyway, but that doesn't matter. a type is a type. not necessarily describes any subtypes.