A collection of libraries and utilities to be used with CakeML applications.
The files in this repository are released under standard open source licenses,
identified by SPDX license tags. The directory LICENSES
contains the
text for all licenses that are mentioned by files in this repository.