COPYING: CakeML Copyright Notice, License, and Disclaimer. basis: Contains the beginnings of a standard basis library for CakeML, similar to the standard basis library of SML. build-instructions.sh: This file describes how to install Poly/ML, HOL and CakeML. candle: Verification of a HOL theorem prover, based on HOL Light (http://www.cl.cam.ac.uk/~jrh13/hol-light/), implemented in CakeML. characte