From: Mark Thom Date: Sun, 27 Aug 2023 18:48:48 +0000 (-0600) Subject: Merge pull request #1979 from triska/normalize_space X-Git-Tag: v0.9.2~2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3bfed50d812d8b792063457e849b0a1e521565b9;p=scryer-prolog.git Merge pull request #1979 from triska/normalize_space ENHANCED: rudimentary implementation of normalize_space --- 3bfed50d812d8b792063457e849b0a1e521565b9