implicit.ink
the kind-tree

Kinds

Every product is a kind. Kinds form a tree: each inherits the questions of its parents and earns its place by adding at least one of its own. A kind that adds nothing is flagged should fold — it ought to be a value of an existing question, not a kind of its own.

differentiated should fold root

// 49 kinds · 48 differentiated · 0 on the fold-worklist — read live from the pool, growing as it is seeded.