Expand description
WebAssembly bindings for OxiLean.
This crate provides a WASM-compatible API for the OxiLean type checker, allowing use from JavaScript/TypeScript in web browsers or Node.js.
Modulesยง
- api
- Main API for OxiLean WASM bindings
- error
- Error types for the WASM API
- incremental
- Incremental type-checking support for OxiLean.
- types
- Type definitions for the WASM API