CakeML/cakeml Issues
Fix exceptions in Pancake
UpdatedFeature Request: Prefix equality
Closed 2Update ARM8 export for EVAL
Updated 2Pancake Syntax improvements
UpdatedSigned Word to Int
ClosedDoesn't compile current master
Closed 5
CakeML: A Verified Implementation of ML