From: Mark Thom Date: Thu, 10 Apr 2025 15:47:21 +0000 (-0700) Subject: Merge pull request #2874 from triska/read_from_chars_instantiated X-Git-Tag: v0.10.0~59 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8558bd22142220c4de4992dc0f4b3f46502b42d8;p=scryer-prolog.git Merge pull request #2874 from triska/read_from_chars_instantiated generalize read_from_chars/2 and read_term_from_chars/3 to allow instantiated Term --- 8558bd22142220c4de4992dc0f4b3f46502b42d8