Re: How to represent theories?

The vnstore use nstore code and expose a superset of nstore API.
That is:

  vnstore API = nstore API + branch management

By the way, the nstore API has entered finalization at

  https://srfi.schemers.org/srfi-168/srfi-168.html

Received on Friday, 1 November 2019 14:53:35 UTC