3 ms·That's refinement-style programming from a novel angel, but still clearly refinement-style.by choeger 3y agoThat's refinement-style programming from a novel angel, but still clearly refinement-style.