nova-typeck 0.3.0

The Nova language's type checker (internal to the nova toolchain)

Coverage
68.97%
20 out of 29 items documented0 out of 9 items with examples
Size
Source code size: 831.0 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 2.3 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 8s Average build duration of successful builds.
all releases: 8s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
Sakeerin/nova
0 0 1
crates.io
Dependencies
Versions
- 0.3.0 (2026-10-13)
Owners

Part of the Nova toolchain

This crate is one of the libraries that make up nova, the toolchain of the Nova programming language: its compiler, formatter, language server, package manager and documentation generator.

Its API is internal to nova. It is published only so that nova can be installed from crates.io, and it changes with every release, without notice. Every crate of a release depends on the others at exactly that release's version.

To install nova:

cargo install nova-cli --locked

The repository has the language's documentation, the ready-built releases and the install scripts. The crates are licensed under either of the MIT licence or the Apache License, Version 2.0, at your option.