CakeML: A Verified Implementation of MLcakeml.org3 points·rscho··0 commentsOpen articleSaveView on HN