app/export.aug

Hello world with dependencies · Source and specification

Files in this project

• main.aug
• app/export.aug
• app/greeter.aug
• logging/console.aug
• logging/export.aug
• logging/logger.aug

Code

Indentation

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export Greeter from greeter

Braces

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export Greeter from greeter

Compiled specification

Interactions and sequences

Exports

Export the declaration Greeter from greeter.aug.