For your delectation: the Tarski hooks reference. Some of this stuff isn’t in the current release, but since 1.7 is out soon I just wrote it with that in mind.
You are currently browsing articles tagged reference.
You are currently browsing articles tagged reference.
For your delectation: the Tarski hooks reference. Some of this stuff isn’t in the current release, but since 1.7 is out soon I just wrote it with that in mind.