CakeML – A Verified Implementation of MLcakeml.org1 point·Vedor··0 commentsOpen articleSaveView on HN