DOC: 4.1.3 Determinism, 4.5 Type verifications, 4.7 the "\+"#770
Open
dtonhofer wants to merge 2 commits intoSWI-Prolog:masterfrom
dtonhofer:docs_20200214
Open
DOC: 4.1.3 Determinism, 4.5 Type verifications, 4.7 the "\+"#770dtonhofer wants to merge 2 commits intoSWI-Prolog:masterfrom dtonhofer:docs_20200214
dtonhofer wants to merge 2 commits intoSWI-Prolog:masterfrom
dtonhofer:docs_20200214
