A homotopy-type-theoretic generalization of neurosymbolic inference - View it on GitHub