3 ms·Programming and Reasoning with Algebraic Effects and Dependent Types2 points by stephenjudkins 14y ago