Skip to content

Latest commit

 

History

History
11 lines (7 loc) · 389 Bytes

README.md

File metadata and controls

11 lines (7 loc) · 389 Bytes

Package Manager

As usual, dependencies will be expressed into a configuration file.

includes without initial dot are reserved as they may be used in the future.

include '[email protected]';

In that case, this wouldn't include the library sources syntatically. That include would be collected and removed from the program before verification or evaluation.