CakeML Libraries
A collection of libraries and utilities to be used with CakeML applications.
License
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.