Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
prov label strings and qualified names #104
Using the provtoolbox to convert the following into provn:
Prov DM says that labels only supports strings, so should this create an error. Will labels be able to support qualified names in the future?
You need to provide a string. No plan to support qualified names.
On 05/02/2015 12:42, heatherpacker wrote:
Professor Luc Moreau