4 ms·Riker: Always-Correct and Fast Incremental Builds from Simple Specifications4 points by ccurtsinger 4y ago