This repository has been archived by the owner on Dec 12, 2024. It is now read-only.
0.1.0
Pre-release
Pre-release
First release of the library, partially implemented. Contains abstract syntax only. Not all constraints are implemented.