1<!-- 2 Copyright 2018, Data61 3 Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 ABN 41 687 119 230. 5 6 This software may be distributed and modified according to the terms of 7 the BSD 2-Clause license. Note that NO WARRANTY is provided. 8 See "LICENSE_BSD2.txt" for details. 9 10 @TAG(DATA61_BSD) 11--> 12# cakeml_libs 13 14CakeML Libraries 15======================= 16 17A collection of libraries and utilities to be used with CakeML applications. 18 19License 20======== 21 22The files in this repository are release under standard open source licenses. 23Please see individual file headers and the `LICENSE_BSD2`.txt file for details. 24