README.md

Austral Specification

This repository contains the source text of the Austral specification.

This is a work in progress.

Building

To generate the PDF version of the spec, run:

$ make

The result is a spec.pdf file.

To remove build output:

$ make clean

Status

1. Introduction ⚪⚪⚪
2. Rationale ⚪⚪⚪
   1. Syntax ⚪⚪⚪
   2. Error Handling ⚪⚪⚪
   3. Resource-Aware Type System ⚪⚪⚪
3. Syntax ⚪⚪⚪
4. Module System ⚪⚪⚪
5. Type System ⚪⚪⚪
6. Declarations ⚪⚪⚪
7. Statements ⚪⚪⚪
8. Expressions ⚪⚪⚪
9. Examples ⚪⚪⚪
10. Style ⚪⚪⚪

Key:

• ⚪⚪⚪: Not started
• 🟡⚪⚪: Preliminary.
• 🔵🔵⚪: In progress.
• 🟢🟢🟢 : Completed

License

Copyright 2017–2021 Fernando Borretti.

Licensed under the GNU Free Documentation License. See the COPYING file for details.