clarified protocol: Doc.check at run-time via Scala function;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEbd5ee3148132: more antiquotations (reverting 4df341249348);
- Branches
- Unknown
- Tags
clarified protocol: Doc.check at run-time via Scala function; Tags None Subscribers None |