Skip to content

Add Pltermv(0) + clean up initialization checks#31

Closed
kamahen wants to merge 1 commit into
SWI-Prolog:masterfrom
kamahen:termv
Closed

Add Pltermv(0) + clean up initialization checks#31
kamahen wants to merge 1 commit into
SWI-Prolog:masterfrom
kamahen:termv

Commits

Commits on Dec 2, 2022