@greenpandastudios/aug-cli 0.19.0 → 0.21.0

package/examples/generics/types.aug

@@ -1,16 +1,17 @@
+// aug-spec: "types.aug.md" explains this file. Read it before changes; refresh with aug spec.
 interface Formatter {
     format<T>(T value) returns string
-    title() returns string {
+    title() {
         return "formatted"
     }
 }
 TextFormatter() implements Formatter {
-    format<T>(T value) returns string {
+    format<T>(T value) {
         return "generic method called"
     }
 }
 Box<T>(T value) implements IBox<T> {
-    get() returns T {
+    get() {
         return value
     }
 }

package/examples/generics/types.aug.md

@@ -1,132 +1,46 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `types.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`Formatter`](types.aug.md#symbol-Formatter) is an interface.
-- [`TextFormatter`](types.aug.md#symbol-TextFormatter) is a class implementing `Formatter`.
-- [`Box`](types.aug.md#symbol-Box) is a class implementing `IBox<T>`.
-- [`IBox`](types.aug.md#symbol-IBox) is an interface.
+# `types.aug`
 
 <a id="symbol-Formatter"></a>
-
-## `Formatter`
-
-[source](types.aug#L1)
-
-Interface.
+## `Formatter` · interface · [source](types.aug#L2)
 
 <a id="symbol-Formatter.format"></a>
+### `Formatter.format` · [source](types.aug#L3)
 
-### `Formatter.format`
-
-[source](types.aug#L2)
-
-Type parameters: `T`.
-
-**Inputs**
-
-- `value` (`T`) — required labeled input.
-
-Returns: `string`.
-
-Interface contract. A selected implementation supplies the behavior.
+The type parameters are `T`. It takes `value` as `T`. It returns `string`.
 
 <a id="symbol-Formatter.title"></a>
+### `Formatter.title` · [source](types.aug#L4)
 
-### `Formatter.title`
-
-[source](types.aug#L3)
-
-Returns: `string`.
-
-**What it does**
-
-- Return `"formatted"`.
+It returns `"formatted"`.
 
 <a id="symbol-TextFormatter"></a>
+## `TextFormatter` · class · [source](types.aug#L8)
 
-## `TextFormatter`
-
-[source](types.aug#L7)
-
-Behavioral class.
-
-Satisfies [`Formatter`](types.aug.md#symbol-Formatter).
-
-**Inherited default behavior**
-
-- [`Formatter.title`](types.aug.md#symbol-Formatter.title).
+It implements [`Formatter`](types.aug.md#symbol-Formatter). It inherits the default implementations of [`Formatter.title`](types.aug.md#symbol-Formatter.title).
 
 <a id="symbol-TextFormatter.format"></a>
+### `TextFormatter.format` · [source](types.aug#L9)
 
-### `TextFormatter.format`
-
-[source](types.aug#L8)
-
-Type parameters: `T`.
-
-**Inputs**
-
-- `value` (`T`) — required labeled input.
-
-Returns: `string`.
-
-**What it does**
-
-- Return `"generic method called"`.
+The type parameters are `T`. It takes `value` as `T`. It returns `"generic method called"`.
 
 <a id="symbol-Box"></a>
+## `Box` · class · [source](types.aug#L13)
 
-## `Box`
-
-[source](types.aug#L12)
-
-Behavioral class.
-
-Type parameters: `T`.
-
-Satisfies [`IBox`](types.aug.md#symbol-IBox).
-
-**Inputs**
-
-- `value` (`T`) — required labeled input — stored as `value` and read-only after initialization.
+It implements [`IBox<T>`](types.aug.md#symbol-IBox). The type parameters are `T`. It takes `value` as `T`, kept read-only.
 
 <a id="symbol-Box.get"></a>
+### `Box.get` · [source](types.aug#L14)
 
-### `Box.get`
-
-[source](types.aug#L13)
-
-Returns: `T`.
-
-**What it does**
-
-- Return `value`.
+It returns `value`.
 
 <a id="symbol-IBox"></a>
+## `IBox` · interface · [source](types.aug#L18)
 
-## `IBox`
-
-[source](types.aug#L17)
-
-Interface.
-
-Type parameters: `T`.
+The type parameters are `T`.
 
 <a id="symbol-IBox.get"></a>
+### `IBox.get` · [source](types.aug#L19)
 
-### `IBox.get`
-
-[source](types.aug#L18)
-
-Returns: `T`.
-
-Interface contract. A selected implementation supplies the behavior.
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It returns `T`.

package/examples/{developer-workflow/.aug-spec/august/0.19.0 → hello/.aug-spec/august/0.21.0}/io/contracts.aug

@@ -1,4 +1,5 @@
 // Generated by aug spec. This is a copy of the installed dependency source.
+// aug-spec: "contracts.aug.md" explains this file. Read it before changes; refresh with aug spec.
 /** Permission to write to a console, provided by an explicitly selected adapter. */
 capability Console:
     /** Write one line of text. @param value Text to display. */
@@ -21,9 +22,9 @@ capability FileWriter:
 
 /** Native files. Operations are explicit; construction opens no files. */
 LocalFiles() implements FileReader, FileWriter:
-    read(string path) returns string unless FileError:
+    read(string path) :
         return read_file(path=path)
-    write(string path, string content) unless FileError:
+    write(string path, string content) :
         write_file(path=path, content=content)
 
 /** Read command-line input through an explicit dependency. */
@@ -32,5 +33,5 @@ capability Arguments:
 
 /** Native command-line arguments. */
 ProcessArguments() implements Arguments:
-    read() returns List<string>:
+    read() :
         return arguments()

package/examples/hello/.aug-spec/august/0.21.0/io/contracts.aug.md

@@ -0,0 +1,82 @@
+<!-- Generated by aug spec. Edit the August source, then regenerate. -->
+
+# `contracts.aug`
+
+<a id="symbol-Console"></a>
+## `Console` · capability interface · [source](contracts.aug#L4)
+
+Permission to write to a console, provided by an explicitly selected adapter.
+
+<a id="symbol-Console.write"></a>
+### `Console.write` · [source](contracts.aug#L6)
+
+Write one line of text. The type parameters are `T`. It takes `value` as `T` (Text to display). It can call [`Console.write`](contracts.aug.md#symbol-Console.write).
+
+<a id="symbol-SystemConsole"></a>
+## `SystemConsole` · class · [source](contracts.aug#L9)
+
+The native standard-output adapter. Construction performs no output. It implements [`Console`](contracts.aug.md#symbol-Console).
+
+<a id="symbol-SystemConsole.write"></a>
+### `SystemConsole.write` · [source](contracts.aug#L10)
+
+Write one line of text. The type parameters are `T`. It takes `value` as `T` (Text to display). It prints `value`.
+
+<a id="symbol-FileReader"></a>
+## `FileReader` · capability interface · [source](contracts.aug#L14)
+
+Read UTF-8 text through an explicitly selected filesystem adapter.
+
+<a id="symbol-FileReader.read"></a>
+### `FileReader.read` · [source](contracts.aug#L16)
+
+Read text. It takes `path` as a string (File path).
+
+It returns `string`. It can call [`FileReader.read`](contracts.aug.md#symbol-FileReader.read). Failures can raise `FileError` (The file could not be read).
+
+<a id="symbol-FileWriter"></a>
+## `FileWriter` · capability interface · [source](contracts.aug#L19)
+
+Write UTF-8 text through an explicitly selected filesystem adapter.
+
+<a id="symbol-FileWriter.write"></a>
+### `FileWriter.write` · [source](contracts.aug#L21)
+
+Write text. It takes `path` as a string (File path) and `content` as a string (Text). It can call [`FileWriter.write`](contracts.aug.md#symbol-FileWriter.write). Failures can raise `FileError` (Writing failed).
+
+<a id="symbol-LocalFiles"></a>
+## `LocalFiles` · class · [source](contracts.aug#L24)
+
+Native files. Operations are explicit; construction opens no files. It implements [`FileReader`](contracts.aug.md#symbol-FileReader) and [`FileWriter`](contracts.aug.md#symbol-FileWriter).
+
+<a id="symbol-LocalFiles.read"></a>
+### `LocalFiles.read` · [source](contracts.aug#L25)
+
+Read text. It takes `path` as a string (File path). Failures can raise `FileError` (The file could not be read). It returns `read_file` with `path`.
+
+<a id="symbol-LocalFiles.write"></a>
+### `LocalFiles.write` · [source](contracts.aug#L27)
+
+Write text. It takes `path` as a string (File path) and `content` as a string (Text). Failures can raise `FileError` (Writing failed). It calls `write_file` with `path` and `content`.
+
+<a id="symbol-Arguments"></a>
+## `Arguments` · capability interface · [source](contracts.aug#L31)
+
+Read command-line input through an explicit dependency.
+
+<a id="symbol-Arguments.read"></a>
+### `Arguments.read` · [source](contracts.aug#L32)
+
+It returns `List<string>`. It can call [`Arguments.read`](contracts.aug.md#symbol-Arguments.read).
+
+<a id="symbol-ProcessArguments"></a>
+## `ProcessArguments` · class · [source](contracts.aug#L35)
+
+Native command-line arguments. It implements [`Arguments`](contracts.aug.md#symbol-Arguments).
+
+<a id="symbol-ProcessArguments.read"></a>
+### `ProcessArguments.read` · [source](contracts.aug#L36)
+
+It returns `arguments`.
+
+Built-in operations follow the [language reference](https://greenpandastudios.github.io/augscript/language-constructs).

package/examples/hello/.aug-spec/manifest.json

@@ -1,8 +1,8 @@
 {
   "format": 1,
   "files": [
-    ".aug-spec/august/0.19.0/io/contracts.aug",
-    ".aug-spec/august/0.19.0/io/contracts.aug.md",
+    ".aug-spec/august/0.21.0/io/contracts.aug",
+    ".aug-spec/august/0.21.0/io/contracts.aug.md",
     "app/export.aug.md",
     "app/greeter.aug.md",
     "logging/console.aug.md",
@@ -10,5 +10,5 @@
     "logging/logger.aug.md",
     "main.aug.md"
   ],
-  "digest": "f8586cdc1a78e9eb78776fa8fa08a52ff9854435e9a91aca3cb782c489d423c3"
+  "digest": "662623df9a89e7f4b0879bb8b6187f83a05aacd1bd2cf7ebb2e6049c1db73f54"
 }

package/examples/hello/app/export.aug

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

package/examples/hello/app/export.aug.md

@@ -1,17 +1,7 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `export.aug` specification
+# `export.aug`
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+## Exports
 
-## In this file
-
-- Export `Greeter` from this folder.
-
-## Folder exports
-
-- Export the declaration `Greeter` from [`greeter.aug`](greeter.aug.md#symbol-Greeter).
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+Export the declaration `Greeter` from [`greeter.aug`](greeter.aug.md#symbol-Greeter).

package/examples/hello/app/greeter.aug

@@ -1,3 +1,4 @@
+// aug-spec: "greeter.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 import Logger from logging
 /**
@@ -9,7 +10,7 @@ Greeter(resolve Logger logger) implements IGreeter {
     * Prints a personalized greeting.
     * @param name The user to welcome.
     */
-    greet(resolve Console console, string name) uses Console.write {
+    greet(resolve Console console, string name) {
         logger.log(message="Hello, " + name + "!")
     }
 }

package/examples/hello/app/greeter.aug.md

@@ -1,109 +1,25 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `greeter.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`Greeter`](greeter.aug.md#symbol-Greeter) is a class implementing `IGreeter`.
-- [`IGreeter`](greeter.aug.md#symbol-IGreeter) is an interface.
+# `greeter.aug`
 
 <a id="symbol-Greeter"></a>
+## `Greeter` · class · [source](greeter.aug#L8)
 
-## `Greeter`
-
-[source](greeter.aug#L7)
-
-Behavioral class.
-
-Satisfies [`IGreeter`](greeter.aug.md#symbol-IGreeter).
-
-**Author documentation**
-
-Welcomes a user through the configured logger.
-
-**Parameters**
-- `logger`: The application logger, injected when resolved.
-
-**Inputs**
-
-- `logger` ([`Logger`](../logging/logger.aug.md#symbol-Logger)) — injected; callers omit it — stored as `logger` and read-only after initialization.
+Welcomes a user through the configured logger. It implements [`IGreeter`](greeter.aug.md#symbol-IGreeter). The `logger` dependency is injected as [`Logger`](../logging/logger.aug.md#symbol-Logger) and stored read-only (The application logger, injected when resolved).
 
 <a id="symbol-Greeter.greet"></a>
+### `Greeter.greet` · [source](greeter.aug#L13)
 
-### `Greeter.greet`
-
-[source](greeter.aug#L12)
-
-**Inputs**
-
-- `console` ([`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `name` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-**What it does**
-
-- Call [`Logger.log`](../logging/logger.aug.md#symbol-Logger.log) on `logger` with `message` = (text formed by joining `"Hello, "`, `name`, `"!"` in order); inject `console` from `console`.
-
-**Author documentation**
-
-Prints a personalized greeting.
-
-**Parameters**
-- `name`: The user to welcome.
+Prints a personalized greeting. It takes `name` as a string (the user to welcome). It gets `console` ([`Console`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It passes the text `Hello, {name}!` to [`logger.log`](../logging/logger.aug.md#symbol-Logger.log), using injected `console`.
 
 <a id="symbol-IGreeter"></a>
-
-## `IGreeter`
-
-[source](greeter.aug#L16)
-
-Interface.
+## `IGreeter` · interface · [source](greeter.aug#L17)
 
 <a id="symbol-IGreeter.greet"></a>
+### `IGreeter.greet` · [source](greeter.aug#L22)
 
-### `IGreeter.greet`
-
-[source](greeter.aug#L21)
-
-**Inputs**
-
-- `console` ([`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `name` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-Interface contract. A selected implementation supplies the behavior.
-
-**Author documentation**
-
-Prints a personalized greeting.
-
-**Parameters**
-- `name`: The user to welcome.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)
-
-Capability interface from `august.io`.
-
-- [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write)<`T`> (`value`: `T`) → `void`.
-
-### [`Logger`](../logging/logger.aug.md#symbol-Logger)
-
-Interface from `logging`.
-
-- [`Logger.log`](../logging/logger.aug.md#symbol-Logger.log) (`message`: `string`) → `void`; inject `console`: [`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console); uses [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
+Prints a personalized greeting. It takes `name` as a string (the user to welcome). It gets `console` ([`Console`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It can call [`Console.write`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write).
 
-## Shared language rules
+## Dependencies
 
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It uses [`Console`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console) ([`write`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write)) from `august.io`. It uses [`Logger`](../logging/logger.aug.md#symbol-Logger) ([`log`](../logging/logger.aug.md#symbol-Logger.log)) from `logging`.

package/examples/hello/logging/console.aug

@@ -1,7 +1,8 @@
+// aug-spec: "console.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 import Logger from logger
 ConsoleLogger() implements Logger {
-    log(resolve Console console, string message) uses Console.write {
+    log(resolve Console console, string message) {
         console.write(value=message)
     }
 }

package/examples/hello/logging/console.aug.md

@@ -1,65 +1,17 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `console.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`ConsoleLogger`](console.aug.md#symbol-ConsoleLogger) is a class implementing `Logger`.
+# `console.aug`
 
 <a id="symbol-ConsoleLogger"></a>
+## `ConsoleLogger` · class · [source](console.aug#L4)
 
-## `ConsoleLogger`
-
-[source](console.aug#L3)
-
-Behavioral class.
-
-Satisfies [`Logger`](logger.aug.md#symbol-Logger).
+It implements [`Logger`](logger.aug.md#symbol-Logger).
 
 <a id="symbol-ConsoleLogger.log"></a>
+### `ConsoleLogger.log` · [source](console.aug#L5)
 
-### `ConsoleLogger.log`
-
-[source](console.aug#L4)
-
-**Inputs**
-
-- `console` ([`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-**What it does**
-
-- Call [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write) on `console` with `value` = `message`.
-
-**Author documentation**
-
-Writes one message.
-
-**Parameters**
-- `message`: Text to write.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)
-
-Capability interface from `august.io`.
-
-- [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write)<`T`> (`value`: `T`) → `void`.
-
-### [`Logger`](logger.aug.md#symbol-Logger)
-
-Interface from `logger`.
-
-Used as a type or provider.
+Writes one message. It takes `message` as a string (Text to write). It gets `console` ([`Console`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It passes `message` to [`console.write`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write).
 
-## Shared language rules
+## Dependencies
 
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It uses [`Console`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console) ([`write`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write)) from `august.io`. It uses [`Logger`](logger.aug.md#symbol-Logger) from `logger`.

package/examples/hello/logging/export.aug

@@ -1,2 +1,3 @@
+// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
 export Logger from logger
 export ConsoleLogger from console

package/examples/hello/logging/export.aug.md

@@ -1,19 +1,7 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `export.aug` specification
+# `export.aug`
 
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
+## Exports
 
-## In this file
-
-- Export `Logger` from this folder.
-- Export `ConsoleLogger` from this folder.
-
-## Folder exports
-
-- Export the declaration `Logger` from [`logger.aug`](logger.aug.md#symbol-Logger).
-- Export the declaration `ConsoleLogger` from [`console.aug`](console.aug.md#symbol-ConsoleLogger).
-
-## Shared language rules
-
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+Export the declaration `Logger` from [`logger.aug`](logger.aug.md#symbol-Logger). Export the declaration `ConsoleLogger` from [`console.aug`](console.aug.md#symbol-ConsoleLogger).

package/examples/hello/logging/logger.aug

@@ -1,3 +1,4 @@
+// aug-spec: "logger.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console from august.io
 /** Writes messages to an application log. */
 interface Logger {

package/examples/hello/logging/logger.aug.md

@@ -1,59 +1,17 @@
 <!-- Generated by aug spec. Edit the August source, then regenerate. -->
 
-# `logger.aug` specification
-
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-
-## In this file
-
-- [`Logger`](logger.aug.md#symbol-Logger) is an interface.
+# `logger.aug`
 
 <a id="symbol-Logger"></a>
-
-## `Logger`
-
-[source](logger.aug#L3)
-
-Interface.
-
-**Author documentation**
+## `Logger` · interface · [source](logger.aug#L4)
 
 Writes messages to an application log.
 
 <a id="symbol-Logger.log"></a>
+### `Logger.log` · [source](logger.aug#L9)
 
-### `Logger.log`
-
-[source](logger.aug#L8)
-
-**Inputs**
-
-- `console` ([`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)) — injected; callers omit it.
-- `message` (`string`) — required labeled input.
-
-Returns: no value.
-
-Capabilities: [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write).
-
-Interface contract. A selected implementation supplies the behavior.
-
-**Author documentation**
-
-Writes one message.
-
-**Parameters**
-- `message`: Text to write.
-
-## Dependencies used by this file
-
-Only referenced types and operations appear here. Each name links to its complete specification.
-
-### [`Console`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console)
-
-Capability interface from `august.io`.
-
-- [`Console.write`](../.aug-spec/august/0.19.0/io/contracts.aug.md#symbol-Console.write)<`T`> (`value`: `T`) → `void`.
+Writes one message. It takes `message` as a string (Text to write). It gets `console` ([`Console`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console)) from dependency injection. It can call [`Console.write`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write).
 
-## Shared language rules
+## Dependencies
 
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.
+It uses [`Console`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console) ([`write`](../.aug-spec/august/0.21.0/io/contracts.aug.md#symbol-Console.write)) from `august.io`.

package/examples/hello/main.aug

@@ -1,3 +1,4 @@
+// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
 import Console and SystemConsole from august.io
 implement Console with SystemConsole
 import Logger from logging