Skip to content

Remove DCGs that have thrown an exception during term expansion#2681

Open
hurufu wants to merge 1 commit intomthom:masterfrom hurufu:remove-dcgs-that-have-failed-to-expand
+19-2

Commits

Commits on Dec 22, 2024