Skip to content
This repository was archived by the owner on Mar 13, 2019. It is now read-only.

Milestones

List view

  • **Experience** Improve the experience of programming in Adamant by filling in missing features, improving error reporting, and growing the standard library.

    No due date
    1/1 issues closed
  • **Tooling**: Improve the bootstrapping process, support dependencies between repos, implement basic packaging, and establish new version number scheme.

    No due date
    5/5 issues closed
  • **Types & Borrow Checking** Implement basic type checking, and basic borrow checking. Prove out the semantics of borrow checking with references and ownership.

    No due date
    29/29 issues closed