Require compound terms for typed literal objects#151

justinjoy merged 2 commits into

mainsemantic-reasoning/factlog:mainfrom

typed-literal-compound-termssemantic-reasoning/factlog:typed-literal-compound-termsCopy head branch name to clipboard