# probl-sema
The semantic analysis stage of the [Probl](https://github.com/garlab/probl) compiler: name resolution, lowering to an intermediate representation and liveness analysis.
**This is an internal Probl component with no stable API.** It is published to support the other Probl crates, and its API may change with each release. Applications compiling and running Probl should depend on [`probl`](https://crates.io/crates/probl).
To run Probl programs, install [`probl-cli`](https://crates.io/crates/probl-cli) or try the [browser playground](https://playground.probl.dev).
[Internal API reference](https://docs.rs/probl-sema) · [Source](https://github.com/garlab/probl/tree/main/crates/probl-sema) · [Architecture](https://github.com/garlab/probl/blob/main/docs/architecture.md)
## License
Licensed under either the [MIT license](https://github.com/garlab/probl/blob/main/LICENSE-MIT) or [Apache License, Version 2.0](https://github.com/garlab/probl/blob/main/LICENSE-APACHE), at your option.