feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construction#98

hyperpolymath merged 1 commit into

mainhyperpolymath/tangle:mainfrom

feat/epistemic-typeshyperpolymath/tangle:feat/epistemic-typesCopy head branch name to clipboard