From: notoria <notoria@users.noreply.github.com>
Date: Mon, 21 Dec 2020 19:02:22 +0000 (+0100)
Subject: Merge pull request #6 from triska/indexing
X-Git-Tag: v0.9.0~166^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2889631b61809ed766eb4d668715e6cf38b0630b;p=scryer-prolog.git

Merge pull request #6 from triska/indexing

document first instantiated argument indexing
---

2889631b61809ed766eb4d668715e6cf38b0630b