https://github.com/austral/specification

The Austral Language Specification
https://github.com/austral/specification

austral documentation specification

Last synced: 5 months ago
JSON representation

The Austral Language Specification

• Host: GitHub
• URL: https://github.com/austral/specification
• Owner: austral
• License: other
• Created: 2018-12-08T14:31:18.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2021-09-18T00:56:04.000Z (almost 5 years ago)
• Last Synced: 2025-05-16T19:47:44.910Z (about 1 year ago)
• Topics: austral, documentation, specification
• Language: Makefile
• Homepage:
• Size: 192 KB
• Stars: 4
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: COPYING

Awesome Lists containing this project

README

          
# Austral Specification

![Build status badge](https://github.com/austral/specification/actions/workflows/build.yml/badge.svg)

This repository contains the source text of the [Austral][aus] specification.

This is a work in progress.

## Building

To generate the PDF version of the spec, run:

```bash

$ make

```

The result is a `spec.pdf` file.

To remove build output:

```bash

$ make clean

```

## Status

1. Introduction ⚪⚪⚪

2. Rationale ⚪⚪⚪

    1. Syntax ⚪⚪⚪

    2. Error Handling ⚪⚪⚪

    3. Resource-Aware Type System ⚪⚪⚪

4. Syntax ⚪⚪⚪

5. Module System ⚪⚪⚪

6. Type System ⚪⚪⚪

7. Declarations ⚪⚪⚪

8. Statements ⚪⚪⚪

9. Expressions ⚪⚪⚪

10. Examples ⚪⚪⚪

11. 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.

[aus]: https://github.com/austral/austral