5 ms·Programming and Reasoning with Algebraic Effects and Dependent Types2 points by stephenjudkins 13y ago