2 releases
| 0.1.0-pre.1 |
|
|---|---|
| 0.1.0-alpha.1 | Oct 7, 2024 |
#154 in Programming languages
309 downloads per month
Used in 5 crates
1MB
8K
SLoC
Special core extraction mode
For now, the frontend is sensible to the HAX_CORE_EXTRACTION_MODE
variable environment that enables a special mode.
Dependencies
~3.5MB
~79K SLoC