First Project

Create a project:

donna new hello
cd hello

New projects include source code, project metadata, a demo test, and a GitHub Actions workflow. The goal is simple: you should be able to run the test suite immediately.

Run the tests:

donna test

Run the app:

donna run

A minimal app looks like this:

import donna/io

pub fn main() -> Nil:
  io.println("Hello from Donna")

Libraries do not need main. Apps do. If you try to run a library, Donna should say that clearly. Precision matters.