MIT License
Onyx is a typechecker for the Nix language.
[!warning] Onyx is very much a work in progress. Only a subset of the Nix syntax is supported.
You can try Onyx online: nmattia.github.io/onyx
This repo contains both the Onyx library for the type system and typechecking, and the online playground.
To build and test the library, run the following:
cargo test
To build the Wasm module for the playground, you will need wasm-pack; then run the following command:
cd playground/wasm && wasm-pack build
To run the actual playground app, make sure you've built the Wasm module for the playground and then run the following command:
cd playground/app && npm ci && npm run dev